title: Effectiveness of Mining Audio and Text Pairs from Public Data for Improving ASR Systems for Low-Resource Languages

abstract: End-to-end (E2E) models have become the default choice for state-of-the-art speech recognition systems. Such models are trained on large amounts of labelled data, which are often not available for low-resource languages. Techniques such as self-supervised learning and transfer learning hold promise, but have not yet been effective in training accurate models. On the other hand, collecting labelled datasets on a diverse set of domains and speakers is very expensive. In this work, we demonstrate an inexpensive and effective alternative to these approaches by ``mining'' text and audio pairs for Indian languages from public sources, specifically from the public archives of All India Radio. As a key component, we adapt the Needleman-Wunsch algorithm to align sentences with corresponding audio segments given a long audio and a PDF of its transcript, while being robust to errors due to OCR, extraneous text, and non-transcribed speech. We thus create Shrutilipi, a dataset which contains over 6,400 hours of labelled audio across 12 Indian languages totalling to 4.95M sentences. On average, Shrutilipi results in a 2.3x increase over publicly available labelled data. We establish the quality of Shrutilipi with 21 human evaluators across the 12 languages. We also establish the diversity of Shrutilipi in terms of represented regions, speakers, and mentioned named entities. Significantly, we show that adding Shrutilipi to the training set of Wav2Vec models leads to an average decrease in WER of 5.8\% for 7 languages on the IndicSUPERB benchmark. For Hindi, which has the most benchmarks (7), the average WER falls from 18.8% to 13.5%. This improvement extends to efficient models: We show a 2.3% drop in WER for a Conformer model (10x smaller than Wav2Vec). Finally, we demonstrate the diversity of Shrutilipi by showing that the model trained with it is more robust to noisy input.


title: Length functions exponentially distorted on subgroups of complex Lie groups

abstract: We introduce a notion of a length function exponentially distorted on a (compactly generated) subgroup of a locally compact group. We prove that for a connected linear complex Lie group there is a maximum equivalence class of length functions exponentially distorted on a normal integral subgroup lying between the exponential and nilpotent radicals. Moreover, a function in this class admits an asymptotic decomposition similar to that previously found by the author for word length functions, i.e., in the case of exponential radical [J. Lie Theory 29:4, 1045--1070, 2019]. In the general case we use auxiliary length functions constructed via holomorphic homomorphisms to Banach PI-algebras.


title: Almost complex structures, transverse complex structures, and transverse Dolbeault cohomology

abstract: We define a transverse Dolbeault cohomology associated to any almost complex structure $j$ on a smooth manifold $M$. This we do by extending the notion of transverse complex structure and by introducing a natural j-stable involutive limit distribution with such a transverse complex structure. We relate this transverse Dolbeault cohomology to the generalized Dolbeault cohomology of (M,j) introduced by Cirici and Wilson, showing that the (p,0) cohomology spaces coincide. This study of transversality leads us to suggest a notion of minimally non-integrable almost complex structure.


title: Dissipative Kerr solitons, breathers and chimera states in coherently driven passive cavities with parabolic potential

abstract: We analyze the stability and dynamics of dissipative Kerr solitons in the presence of a parabolic potential. This potential stabilizes oscillatory and chaotic regimes, favoring the generation of static DKSs. Furthermore, the potential induces the emergence of new dissipative structures, such as asymmetric breathers and chimera-like states. Based on a mode decomposition of these states, we unveil the underlying modal interactions.


title: Search for galactic axions with a high-Q dielectric cavity

abstract: A haloscope of the QUAX--$a\gamma$ experiment, composed of an high-Q resonant cavity immersed in a 8 T magnet and cooled to $\sim 4.5$~K is operated to search for galactic axion with mass $m_a\simeq42.8~\mu\text{eV}$. The design of the cavity with hollow dielectric cylinders concentrically inserted in a OFHC Cu cavity, allowed us to maintain a loaded quality-factor Q $\sim 300000$ during the measurements in presence of magnetic field. Through the cavity tuning mechanism it was possible to modulate the resonance frequency of the haloscope in the region $10.35337-10.35345$~GHz and thus acquire different dataset at different resonance frequencies. Acquiring each dataset for about 50 minutes, combining them and correcting for the axion's signal estimation-efficiency we set a limit on the axion-photon coupling $g_{a\gamma\gamma}< 0.731\times10^{-13}$ GeV$^{-1}$ with the confidence level set at $90\%$.


title: Thin current sheet behind the dipolarization front

abstract: We report a unique conjugate observation of fast flows and associated current sheet disturbances in the near-Earth magnetotail by MMS (Magnetospheric Multiscale) and Cluster preceding a positive bay onset of a small substorm at ~14:10 UT, Sep. 8, 2018. MMS and Cluster were located both at X ~-14 RE. A dipolarization front (DF) of a localized fast flow was detected by Cluster and MMS, separated in the dawn-dusk direction by ~4 RE, almost simultaneously. Adiabatic electron acceleration signatures revealed from comparison of the energy spectra confirm that both spacecraft encounter the same DF. We analyzed the change in the current sheet structure based on multi-scale multi-point data analysis. The current sheet thickened during the passage of DF, yet, temporally thinned subsequently associated with another flow enhancement centered more on the dawnward side of the initial flow. MMS and Cluster observed intense perpendicular and parallel current in the off-equatorial region mainly during this interval of the current sheet thinning. Maximum field-aligned currents both at MMS and Cluster are directed tailward. Detailed analysis of MMS data showed that the intense field-aligned currents consisted of multiple small-scale intense current layers accompanied by enhanced Hall-currents in the dawn-dusk flow-shear region. We suggest that the current sheet thinning is related to the flow bouncing process and/or to the expansion/activation of reconnection. Based on these mesoscale and small-scale multipoint observations, 3D evolution of the flow and current-sheet disturbances was inferred preceding the development of a substorm current wedge.


title: Flexible Vertical Federated Learning with Heterogeneous Parties

abstract: We propose Flexible Vertical Federated Learning (Flex-VFL), a distributed machine algorithm that trains a smooth, non-convex function in a distributed system with vertically partitioned data. We consider a system with several parties that wish to collaboratively learn a global function. Each party holds a local dataset; the datasets have different features but share the same sample ID space. The parties are heterogeneous in nature: the parties' operating speeds, local model architectures, and optimizers may be different from one another and, further, they may change over time. To train a global model in such a system, Flex-VFL utilizes a form of parallel block coordinate descent, where parties train a partition of the global model via stochastic coordinate descent. We provide theoretical convergence analysis for Flex-VFL and show that the convergence rate is constrained by the party speeds and local optimizer parameters. We apply this analysis and extend our algorithm to adapt party learning rates in response to changing speeds and local optimizer parameters. Finally, we compare the convergence time of Flex-VFL against synchronous and asynchronous VFL algorithms, as well as illustrate the effectiveness of our adaptive extension.


title: Enabling Weakly-Supervised Temporal Action Localization from On-Device Learning of the Video Stream

abstract: Detecting actions in videos have been widely applied in on-device applications. Practical on-device videos are always untrimmed with both action and background. It is desirable for a model to both recognize the class of action and localize the temporal position where the action happens. Such a task is called temporal action location (TAL), which is always trained on the cloud where multiple untrimmed videos are collected and labeled. It is desirable for a TAL model to continuously and locally learn from new data, which can directly improve the action detection precision while protecting customers' privacy. However, it is non-trivial to train a TAL model, since tremendous video samples with temporal annotations are required. However, annotating videos frame by frame is exorbitantly time-consuming and expensive. Although weakly-supervised TAL (W-TAL) has been proposed to learn from untrimmed videos with only video-level labels, such an approach is also not suitable for on-device learning scenarios. In practical on-device learning applications, data are collected in streaming. Dividing such a long video stream into multiple video segments requires lots of human effort, which hinders the exploration of applying the TAL tasks to realistic on-device learning applications. To enable W-TAL models to learn from a long, untrimmed streaming video, we propose an efficient video learning approach that can directly adapt to new environments. We first propose a self-adaptive video dividing approach with a contrast score-based segment merging approach to convert the video stream into multiple segments. Then, we explore different sampling strategies on the TAL tasks to request as few labels as possible. To the best of our knowledge, we are the first attempt to directly learn from the on-device, long video stream.


title: Automatic Testing and Validation of Level of Detail Reductions Through Supervised Learning

abstract: Modern video games are rapidly growing in size and scale, and to create rich and interesting environments, a large amount of content is needed. As a consequence, often several thousands of detailed 3D assets are used to create a single scene. As each asset's polygon mesh can contain millions of polygons, the number of polygons that need to be drawn every frame may exceed several billions. Therefore, the computational resources often limit how many detailed objects that can be displayed in a scene. To push this limit and to optimize performance one can reduce the polygon count of the assets when possible. Basically, the idea is that an object at farther distance from the capturing camera, consequently with relatively smaller screen size, its polygon count may be reduced without affecting the perceived quality. Level of Detail (LOD) refers to the complexity level of a 3D model representation. The process of removing complexity is often called LOD reduction and can be done automatically with an algorithm or by hand by artists. However, this process may lead to deterioration of the visual quality if the different LODs differ significantly, or if LOD reduction transition is not seamless. Today the validation of these results is mainly done manually requiring an expert to visually inspect the results. However, this process is slow, mundane, and therefore prone to error. Herein we propose a method to automate this process based on the use of deep convolutional networks. We report promising results and envision that this method can be used to automate the process of LOD reduction testing and validation.


title: Adaptively-Realistic Image Generation from Stroke and Sketch with Diffusion Model

abstract: Generating images from hand-drawings is a crucial and fundamental task in content creation. The translation is difficult as there exist infinite possibilities and the different users usually expect different outcomes. Therefore, we propose a unified framework supporting a three-dimensional control over the image synthesis from sketches and strokes based on diffusion models. Users can not only decide the level of faithfulness to the input strokes and sketches, but also the degree of realism, as the user inputs are usually not consistent with the real images. Qualitative and quantitative experiments demonstrate that our framework achieves state-of-the-art performance while providing flexibility in generating customized images with control over shape, color, and realism. Moreover, our method unleashes applications such as editing on real images, generation with partial sketches and strokes, and multi-domain multi-modal synthesis.


title: Edge Behavior of Higher Complex-Dimensional Determinantal Point Processes

abstract: As recently proved in generality by Hedenmalm and Wennman, it is a universal behavior of complex random normal matrix models that one finds a complementary error function behavior at the boundary (also called edge) of the droplet as the matrix size increases. Such behavior is seen both in the density of the eigenvalues, and the correlation kernel, where the Faddeeva plasma kernel emerges. These results are neatly expressed with the help of the outward unit normal vector on the edge. We prove that such universal behaviors transcend this class of random normal matrices, being also valid in a specific ``elliptic'' class of determinantal point processes defined on $\mathbb C^d$, which are higher dimensional generalizations of the determinantal point processes describing the eigenvalues of the complex Ginibre ensemble and the complex elliptic Ginibre ensemble. These models describe a system of particles in $\mathbb C^d$ with mutual repulsion, that are confined to the origin by an external field $\mathscr V(z) = |z|^2 - \tau \operatorname{Re}(z_1^2+\ldots+z_d^2)$, where $0\leq \tau<1$. Their average density of particles converges to a uniform law on a $2d$-dimensional ellipsoidal region. It is on the hyperellipsoid bounding this region that we find a complementary error function behavior and the Faddeeva plasma kernel. To the best of our knowledge, this is the first instance of the Faddeeva plasma kernel emerging in a higher dimensional model. The results provide evidence for a possible edge universality theorem for determinantal point processes on $\mathbb C^d$.


title: On certain star-$K$ variant of a selection principle

abstract: This article deals with certain star variants of the Scheepers property. We introduce and study the star-$K$-Scheepers property and corresponding game. The relationships between the game corresponding to the star-$K$-Scheepers property and other variants of the Scheepers games are investigated. Furthermore, the relation among the winning strategies of the players in such games are represented in an implication diagram. We present certain observations in terms of Alster covers and the Alexandroff duplicates. In addition, we examine few preservation like properties in this context. Some open problems are also posed.


title: Stationary curves under the M\"obius-Plateau energy

abstract: Plateau problems with elastic boundary energy have been of recent theoretical and applied interest. However, avoidance of self-intersection on the boundary during the gradient descent requires strong assumptions on the initial conditions. To make progress towards an alternative to these strong assumptions, we introduce the novel M\"obius-Plateau energy, where we instead use the repulsive M\"obius energy first introduced by O'Hara, and later expounded upon by Freedman, He, and Wang. This new energy also has myriad scientific utility and presents interesting theoretical phenomena. We first prove the existence of minimizing curves in the case of immersed discs bounded by knots, placing our work on solid footing. We then investigate the M\"obius-Plateau energy of helicoidal strips, which are classified as screws or ribbons based on the orientations of the boundary helices. Through direct methods of the variational equation, we show that stable helicoidal screws are plentiful, whilst stable helicoidal ribbons impose strong constraints on their parameters: they must have high coiling, thin width in comparison to the coiling, and remain close to axis.


title: Evidence for an interaction between the Galactic Center clouds M0.10-0.08 and M0.11-0.11

abstract: We present high-resolution (~2-3"; ~0.1 pc) radio observations of the Galactic center cloud M0.10-0.08 using the Very Large Array at K and Ka band (~25 and 36 GHz). The M0.10-0.08 cloud is located in a complex environment near the Galactic center Radio Arc and the adjacent M0.11-0.11 molecular cloud. From our data, M0.10-0.08 appears to be a compact molecular cloud (~3 pc) that contains multiple compact molecular cores (5+; <0.4 pc). In this study we detect a total of 15 molecular transitions in M0.10-0.08 from the following molecules: NH3, HC3N, CH3OH, HC5N, CH3CN, and OCS. We have identified more than sixty 36 GHz CH3OH masers in M0.10-0.08 with brightness temperatures above 400 K and 31 maser candidates with temperatures between 100-400 K. We conduct a kinematic analysis of the gas using NH3 and detect multiple velocity components towards this region of the Galactic center. The bulk of the gas in this region has a velocity of 51.5 km/s (M0.10-0.08) with a lower velocity wing at 37.6 km/s. We also detect a relatively faint velocity component at 10.6 km/s that we attribute to being an extension of the M0.11-0.11 cloud. Analysis of the gas kinematics, combined with past X-ray fluorescence observations, suggests M0.10-0.08 and M0.11-0.11 are located in the same vicinity of the Galactic center and could be physically interacting.


title: Multi-argument specialization semilattices

abstract: If $X$ is a closure space with closure $K$, we consider the semilattice $(\mathcal P(X), \cup)$ endowed with further relations $ x \sqsubseteq y_1, y_2, \dots, y_n$ (a distinct $n+1$-ary relation for each $n \geq 1$), whose interpretation is $x \subseteq Ky_1 \cup Ky_2 \cup \dots \cup Ky_n $. We present axioms for such "multi-argument specialization semilattices" and show that this list of axioms is complete for substructures, namely, every model satisfying the axioms can be embedded into some structure originated by some closure space as in the previous sentence. We also provide a canonical embedding of a multi-argument specialization semilattice into (the reduct of) some closure semilattice.


title: Disentangle and Remerge: Interventional Knowledge Distillation for Few-Shot Object Detection from A Conditional Causal Perspective

abstract: Few-shot learning models learn representations with limited human annotations, and such a learning paradigm demonstrates practicability in various tasks, e.g., image classification, object detection, etc. However, few-shot object detection methods suffer from an intrinsic defect that the limited training data makes the model cannot sufficiently explore semantic information. To tackle this, we introduce knowledge distillation to the few-shot object detection learning paradigm. We further run a motivating experiment, which demonstrates that in the process of knowledge distillation, the empirical error of the teacher model degenerates the prediction performance of the few-shot object detection model as the student. To understand the reasons behind this phenomenon, we revisit the learning paradigm of knowledge distillation on the few-shot object detection task from the causal theoretic standpoint, and accordingly, develop a Structural Causal Model. Following the theoretical guidance, we propose a backdoor adjustment-based knowledge distillation method for the few-shot object detection task, namely Disentangle and Remerge (D&R), to perform conditional causal intervention toward the corresponding Structural Causal Model. Empirically, the experiments on benchmarks demonstrate that D&R can yield significant performance boosts in few-shot object detection. Code is available at https://github.com/ZYN-1101/DandR.git.


title: Saturation of multidimensional 0-1 matrices

abstract: A 0-1 matrix $M$ is saturating for a 0-1 matrix $P$ if $M$ does not contain a submatrix that can be turned into $P$ by flipping any number of its $1$-entries to $0$-entries, and changing any $0$-entry to $1$-entry of $M$ introduces a copy of $P$. Matrix $M$ is semisaturating for $P$ if changing any $0$-entry to $1$-entry of $M$ introduces a new copy of $P$, regardless of whether $M$ originally contains $P$ or not. The functions $ex(n;P)$ and $sat(n;P)$ are the maximum and minimum possible number of $1$-entries a $n\times n$ 0-1 matrix saturating for $P$ can have, respectively. Function $ssat(n;P)$ is the minimum possible number of $1$-entries a $n\times n$ 0-1 matrix semisaturating for $P$ can have. Function $ex(n;P)$ has been studied for decades, while investigation on $sat(n;P)$ and $ssat(n;P)$ was initiated recently. In this paper, we make nontrivial generalization of results regarding these functions to multidimensional 0-1 matrices. In particular, we find the exact values of $ex(n;P,d)$ and $sat(n;P,d)$ when $P$ is a $d$-dimensional identity matrix. Then we give the necessary and sufficient condition for a multidimensional 0-1 matrix to have bounded semisaturation function.


title: Two-way twisting of a confined monolayer: orientational ordering within the van der Waals gap between graphene and its crystalline substrate

abstract: Two-dimensional confinement of lattices produces a variety of order and disorder phenomena. When the confining walls have atomic granularity, unique structural phases are expected, of relevance in nanotribology, porous materials or intercalation compounds where \textit{e.g.} electronic states can emerge accordingly. The interlayer's own order is frustrated by the competing interactions exerted by the two confining surfaces. We revisit the concept of orientational ordering, introduced by Novaco and McTague to describe the twist of incommensurate monolayers on crystalline surfaces. We predict a two-way twist of the monolayer as its density increases. We discover such a behavior in alkali atom monolayers (sodium, cesium) confined between graphene and an iridium surface, using scanning tunneling microscopy and electron diffraction.


title: Investigation of light conduction in single-wall and double-wall carbon nanotubes

abstract: Carbon Nanotubes (CNs) are made of tubular graphite layers. These macromolecules have interesting features which are generally introduced in the first chapter of the thesis. In the rest of the thesis, the light conduction in metallic CNs is investigated. In chapter 2, by modeling metallic single-wall CNs as 2D free electron gas layers, we find the density of electrons on a 2D electron gas and solve the Maxwell's equations for these cylindrical waveguides. We assume the same time-dependency or frequency for the electrons oscillations on the 2D gas layers and the propagating electromagnetic waves along the CNs. This assumption is the necessary condition for the light conduction with surface plasmons, that is, the only mechanism to conduct laser beams on nanoscale and below the diffraction limit of light. In chapters 3 and 4, we apply boundary conditions to the solutions of Maxwell's equations, and find the dispersion relations of single-wall and double-wall CNs for the transverse electric (TE) and transverse magnetic (TM) modes. In chapter 5, we investigate the effect of applying relativistic electron beams on singlewall and double-wall CNs to create surface plasmons, and calculate the dispersion relation ghraphs of CNs in the presence of fast electron beams. This yield the frequencies, wavelengths and group velocities of surface plasmon waves created by relativistic beams along CN metallic waveguides.


title: Quantum ergodicity for periodic graphs

abstract: We prove quantum ergodicity for a family of periodic Schr\"odinger operators $H$ on periodic graphs. This means that most eigenfunctions of $H$ on large finite periodic graphs are equidistributed in some sense, hence delocalized. Our results cover the adjacency matrix on $\mathbb{Z}^d$, the triangular lattice, the honeycomb lattice, Cartesian products and periodic Schr\"odinger operators on $\mathbb{Z}^d$. The theorem applies more generally to any periodic Schr\"odinger operator satisfying an assumption on the Floquet eigenvalues.


title: The In-Flight Noise Performance of the JWST/NIRSpec Detector System

abstract: The Near-Infrared Spectrograph (NIRSpec) is one the four focal plane instruments on the James Webb Space Telescope (JWST) which was launched on December 25, 2021. We present the in-flight status and performance of NIRSpec's detector system as derived from the instrument commissioning data. The instrument features two 2048 x 2048 HAWAII-2RG sensor chip assemblies (SCAs) that are operated at a temperature of about 42.8 K and are read out via a pair of SIDECAR ASICs. NIRSpec supports "Improved Reference Sampling and Subtraction" (IRS2) readout mode that was designed to meet NIRSpec's stringent noise requirements and to reduce 1/f and correlated noise. In addition, NIRSpec features subarrays optimized for bright object time series observations, e.g. for the observation of exoplanet transit around bright host stars. We focus on the dark signal as well as the read and total noise performance of the detectors.


title: Hausdorff dimension of Besicovitch sets of Cantor graphs

abstract: We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets $\Gamma$, i.e. sets that contain a rotated copy of $\Gamma$ in each direction. We show that for a large class of Cantor sets $C$ and Cantor-graphs $\Gamma$ built on $C$, the Hausdorff dimension of any $\Gamma$-Besicovitch set must be at least $\min\left(2-s^2,\frac{1}{s}\right)$, where $s=\dim C$.


title: Generalised Baumslag-Solitar groups and Hierarchically Hyperbolic Groups

abstract: We look at isometric actions on arbitrary hyperbolic spaces of generalised Baumslag - Solitar groups of arbitrary dimension (the rank of the free abelian vertex and edge subgroups). It is known that being a hierarchically hyperbolic group is not a quasi-isometric invariant. We show that virtually being a hierarchically hyperbolic group is not invariant under quasi-isometry either, and nor is property (QT).


title: SVD-GCN: A Simplified Graph Convolution Paradigm for Recommendation

abstract: With the tremendous success of Graph Convolutional Networks (GCNs), they have been widely applied to recommender systems and have shown promising performance. However, most GCN-based methods rigorously stick to a common GCN learning paradigm and suffer from two limitations: (1) the limited scalability due to the high computational cost and slow training convergence; (2) the notorious over-smoothing issue which reduces performance as stacking graph convolution layers. We argue that the above limitations are due to the lack of a deep understanding of GCN-based methods. To this end, we first investigate what design makes GCN effective for recommendation. By simplifying LightGCN, we show the close connection between GCN-based and low-rank methods such as Singular Value Decomposition (SVD) and Matrix Factorization (MF), where stacking graph convolution layers is to learn a low-rank representation by emphasizing (suppressing) components with larger (smaller) singular values. Based on this observation, we replace the core design of GCN-based methods with a flexible truncated SVD and propose a simplified GCN learning paradigm dubbed SVD-GCN, which only exploits $K$-largest singular vectors for recommendation. To alleviate the over-smoothing issue, we propose a renormalization trick to adjust the singular value gap, resulting in significant improvement. Extensive experiments on three real-world datasets show that our proposed SVD-GCN not only significantly outperforms state-of-the-arts but also achieves over 100x and 10x speedups over LightGCN and MF, respectively.


title: Separation of Variables and Superintegrability on Riemannian Coverings

abstract: We introduce St\"ackel separable coordinates on the covering manifolds $M_k$, where $k$ is a rational parameter, of certain constant-curvature Riemannian manifolds with the structure of warped manifold. These covering manifolds appear implicitly in literature as connected with superintegrable systems with polynomial in the momenta first integrals of arbitrarily high degree, such as the Tremblay-Turbiner-Winternitz system. We study here for the first time multiseparability and superintegrability of natural Hamiltonian systems on these manifolds and see how these properties depend on the parameter $k$.


title: From Observability to Observer Realization: A path via elementary block-diagram manipulations

abstract: Introductory state-space linear control courses focus on linear, time-invariant systems and spend intense efforts by introducing system realizations that allow the student to grasp fundamental concepts, among which controllability, observability, and controller and observer design. This note describes a graphical mechanism to transform a system expressed in observability form into its observer form based on elementary block diagram manipulations, a technique whose pedagogical usefulness tends to be overlooked. Given the well-known duality principle in linear systems with respect to controllability and observability, the proposed graphical mechanism is applicable to transform from controllability to controller realization.


title: Improving Black Hole Accretion Treatment in Hydrodynamical Simulations

abstract: The large galactic scales are connected to the many orders of magnitude smaller supermassive black hole (SMBH) scales by an episodic cycle of feeding and feedback. Active galactic nuclei (AGN) are powered by accretion onto SMBH and the majority of AGN energy, in near-Eddington regime, is produced in thin sub-pc accretion discs. Currently, it is very difficult to model processes that occur on vastly different scales, ranging from the circumnuclear gas reservoirs at tens to hundreds of parsecs, down to the accretion disc scales at <0.01 pc. While sub-grid prescriptions used in large-scale or cosmological simulations are able to reproduce large-scale feedback, we propose using a more realistic model in parsec-scale simulations, where it is important to get accurate timescales to understand how feedback affects gas dynamics and star formation in the vicinity of the AGN. To test our approach we use a sub-resolution thin accretion disc model, coupled to the SMBH, in a set of hydrodynamical simulations of a retrograde collision between a gas ring and a molecular cloud in an environment similar to the Galactic centre using the SPH code Gadget-3. The disc-mediated feeding of the SMBH is relatively smooth and delayed compared to an instantaneous feeding prescription. While the reduction of accretion due to feedback is present in both accretion disc and instantaneous feeding simulations, a clear central cavity appears only in accretion disc runs - hinting that a less volatile accretion phase could have a greater impact on the surrounding gas.


title: Deeply virtual Compton scattering in the tensor-pomeron approach

abstract: The two-tensor-pomeron model proposed previously to describe low $x$ DIS data is applied to real and virtual Compton scattering on a proton. The model includes two tensor pomerons, a soft and a hard one, and tensor reggeons. We include contributions of both transverse and longitudinal virtual photons. We show that this model gives a very good description of experimental data at small Bjorken $x$ on deeply virtual Compton scattering (DVCS) from HERA. The reggeon exchange term is particularly relevant for describing the real-photon-proton scattering measured at lower $\gamma p$ energies at FNAL. We present two fits which differ somewhat in the strength of the hard pomeron contribution. In both fits we find that the interference between soft- and hard-pomeron exchange plays an important role. We find that in DVCS the soft-pomeron contribution is considerable up to $Q^{2} \sim 20$ GeV$^{2}$. Our model allows to study the transition from the small-$Q^{2}$ regime, including the photoproduction ($Q^{2} = 0$) limit, to the large-$Q^{2}$ regime, the DIS limit. We also discuss the ratio of cross sections for longitudinally and transversely polarized virtual photons in $\gamma^{*} p \to \gamma p$ as a function of $|t|$ and $Q^2$. The ratio $\tilde{R}(Q^{2},W^{2},t) = (d\sigma_{\rm L} / dt) / (d\sigma_{\rm T} / dt)$ strongly increases with $t$. Our findings may be checked in future lepton-nucleon scattering experiments in the low-$x$ regime, for instance, at a future Electron-Ion Collider at the BNL (EIC), and, if LHeC is realized, at the LHC.


title: Hardware-aware mobile building block evaluation for computer vision

abstract: In this work we propose a methodology to accurately evaluate and compare the performance of efficient neural network building blocks for computer vision in a hardware-aware manner. Our comparison uses pareto fronts based on randomly sampled networks from a design space to capture the underlying accuracy/complexity trade-offs. We show that our approach allows to match the information obtained by previous comparison paradigms, but provides more insights in the relationship between hardware cost and accuracy. We use our methodology to analyze different building blocks and evaluate their performance on a range of embedded hardware platforms. This highlights the importance of benchmarking building blocks as a preselection step in the design process of a neural network. We show that choosing the right building block can speed up inference by up to a factor of 2x on specific hardware ML accelerators.


title: Limit theorems for time averages of continuous-state branching processes with immigration

abstract: In this work we investigate limit theorems for the time-averaged process $\left(\frac{1}{t}\int_0^t X_s^x ds\right)_{t\geq 0}$ where $X^x$ is a subcritical continuous-state branching processes with immigration (CBI processes) starting in $x \geq 0$. Under a second moment condition on the branching and immigration measures we first prove the law of large numbers in $L^2$ and afterward establish the central limit theorem. Assuming additionally that the big jumps of the branching and immigration measures have finite exponential moments of some order, we prove in our main result the large deviation principle and provide a semi-explicit expression for the good rate function in terms of the branching and immigration mechanisms. Our methods are deeply based on a detailed study of the corresponding generalized Riccati equation and related exponential moments of the time-averaged process.


title: Two-dimensional atomic-scale ultrathin lateral heterostructures

abstract: Ultrathin lateral heterostructures of monolayer MoS2 and WS2 have successfully been realized with the metal-organic chemical vapor deposition method. Atomic-resolution HAADF-STEM observations have revealed that the junction widths of lateral heterostructures range from several nanometers to single-atom thickness, the thinnest heterojunction in theory. The interfaces are atomically flat with minimal mixing between MoS2 and WS2, originating from rapid and abrupt switching of the source supply. Due to one-dimensional interfaces and broken rotational symmetry, the resulting ultrathin lateral heterostructures, 1~2 mixed-dimensional structures, can show emergent optical/electronic properties. The MOCVD growth developed in this work allows us to access various ultrathin lateral heterostructures, leading to future exploration of their emergent properties absent in each component alone.


title: Voxurf: Voxel-based Efficient and Accurate Neural Surface Reconstruction

abstract: Neural surface reconstruction aims to reconstruct accurate 3D surfaces based on multi-view images. Previous methods based on neural volume rendering mostly train a fully implicit model with MLPs, which typically require hours of training for a single scene. Recent efforts explore the explicit volumetric representation to accelerate the optimization via memorizing significant information with learnable voxel grids. However, existing voxel-based methods often struggle in reconstructing fine-grained geometry, even when combined with an SDF-based volume rendering scheme. We reveal that this is because 1) the voxel grids tend to break the color-geometry dependency that facilitates fine-geometry learning, and 2) the under-constrained voxel grids lack spatial coherence and are vulnerable to local minima. In this work, we present Voxurf, a voxel-based surface reconstruction approach that is both efficient and accurate. Voxurf addresses the aforementioned issues via several key designs, including 1) a two-stage training procedure that attains a coherent coarse shape and recovers fine details successively, 2) a dual color network that maintains color-geometry dependency, and 3) a hierarchical geometry feature to encourage information propagation across voxels. Extensive experiments show that Voxurf achieves high efficiency and high quality at the same time. On the DTU benchmark, Voxurf achieves higher reconstruction quality with a 20x training speedup compared to previous fully implicit methods. Our code is available at https://github.com/wutong16/Voxurf.


title: Nonlocal to local convergence of singular phase field systems of conserved type

abstract: This paper deals with a singular nonlocal phase field system of conserved type.Colli--K.\ [Nonlinear Anal.\ 190 (2020)] have derived existence of solutions to a singular phase field system of conserved type. On the other hand, Davoli--Scarpa--Trussardi [Arch. Ration. Mech. Anal.\ 239 (2021)] have studied nonlocal to local convergence of Cahn-Hilliard equations. In this paper we prove existence of solutions to a nonlocal singular phase field system of conserved type whose kernel is not $W^{1, 1}$ and focus on nonlocal to local convergence of singular phase field systems of conserved type.


title: Review of the 1st EUV Light Sources Code Comparison Workshop

abstract: We review the results of the 1st Extreme Ultraviolet (EUV) Light Sources Code Comparison Workshop, which was held online on 3rd November 2020. The goal of this workshop was to provide a platform for specialists in EUV light source plasma modeling to benchmark and validate their numerical codes using well-defined case studies. Eight institutions spanning four countries contributed data to the workshop. Two topics were addressed, namely (i) the atomic kinetics and radiative properties of tin plasmas under EUV-generating conditions and (ii) laser absorption in a fully ionized, one-dimensional hydrogen plasma. In this paper, we summarize the key findings of the workshop and outline plans for future iterations of this code comparison activity.


title: Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy

abstract: Differential privacy (DP) data synthesizers support public release of sensitive information, offering theoretical guarantees for privacy but limited evidence of utility in practical settings. Utility is typically measured as the error on representative proxy tasks, such as descriptive statistics, accuracy of trained classifiers, or performance over a query workload. The ability for these results to generalize to practitioners' experience has been questioned in a number of settings, including the U.S. Census. In this paper, we propose an evaluation methodology for synthetic data that avoids assumptions about the representativeness of proxy tasks, instead measuring the likelihood that published conclusions would change had the authors used synthetic data, a condition we call epistemic parity. Our methodology consists of reproducing empirical conclusions of peer-reviewed papers on real, publicly available data, then re-running these experiments a second time on DP synthetic data, and comparing the results. We instantiate our methodology over a benchmark of recent peer-reviewed papers that analyze public datasets in the ICPSR repository. We model quantitative claims computationally to automate the experimental workflow, and model qualitative claims by reproducing visualizations and comparing the results manually. We then generate DP synthetic datasets using multiple state-of-the-art mechanisms, and estimate the likelihood that these conclusions will hold. We find that state-of-the-art DP synthesizers are able to achieve high epistemic parity for several papers in our benchmark. However, some papers, and particularly some specific findings, are difficult to reproduce for any of the synthesizers. We advocate for a new class of mechanisms that favor stronger utility guarantees and offer privacy protection with a focus on application-specific threat models and risk-assessment.


title: Quantizing the non-linear graviton

abstract: We consider holomorphic Poisson-BF theory on twistor space. Classically, this describes self-dual Einstein gravity on space-time, but at the quantum level it is plagued by an anomaly. The anomaly corresponds to the fact that integrability of the self-dual vacuum Einstein equations does not survive in self-dual quantum gravity. We compute the anomaly polynomials in the Poisson-BF theory, as well as in this theory coupled to a holomorphic BF theory on twistor space describing self-dual Yang-Mills. We show that all anomalies may be cancelled by further coupling to a twistor field representing a type of axion on space-time. When the twistor anomalies are cancelled, all $n\geq4$-pt amplitudes vanish and integrability is restored.


title: On a Conjecture of Feige for Discrete Log-Concave Distributions

abstract: A remarkable conjecture of Feige (2006) asserts that for any collection of $n$ independent non-negative random variables $X_1, X_2, \dots, X_n$, each with expectation at most $1$, $$ \mathbb{P}(X < \mathbb{E}[X] + 1) \geq \frac{1}{e}, $$ where $X = \sum_{i=1}^n X_i$. In this paper, we investigate this conjecture for the class of discrete log-concave probability distributions and we prove a strengthened version. More specifically, we show that the conjectured bound $1/e$ holds when $X_i$'s are independent discrete log-concave with arbitrary expectation.


title: Extending ($\tau$-)tilting subcategories and (co)silting modules

abstract: Let $B$ be a finite dimensional algebra and $A=B[P_0]$ be the one-point extension algebra of $B$ with respect to the finitely generated projective $B$-module $P_0$. The categories of $B$-modules and $A$-modules are related by two adjoint functors $\mathcal{R}$ and $\mathcal{E}$, called the restriction and the extension functors, respectively. Based on the nice homological properties of these two functors, restriction and extension of some notions such as tilting and $\tau$-tilting modules have been studied in the category of finitely presented modules, i.e. small mod. In this paper, we investigate the behaviour of tilting and support $\tau$-tilting subcategories with respect to these two functors. Moreover, we investigate the restriction and the extension of special related modules such as finendo quasi-tilting modules, silting modules, and cosilting modules. Our studies will be done in the category of all modules, which will be called large Mod. Based on such study, in addition to the new results, classical results are extended, not only from modules to subcategories but also from small mod to large Mod.


title: On semibiproducts of magmas and semigroups

abstract: A generalization to the categorical notion of biproduct, called semibiproduct, which in the case of groups covers classical semidirect products, has recently been analysed in the category of monoids with surprising results in the classification of weakly Schreier extensions. The purpose of this paper is to extend the study of semibiproducts to the category of semigroups. However, it is observed that a further analysis into the category of magmas is required in attaining a full comprehension on the subject. Indeed, although there is a subclass of magma-actions, that we call representable, which classify all semibiproducts of magmas whose behaviour is similar to semigroups, it is nevertheless more general than the subclass of associative magma-actions.


title: A machine learning approach to predict the structural and magnetic properties of Heusler alloy families

abstract: Random forest (RF) regression model is used to predict the lattice constant, magnetic moment and formation energies of full Heusler alloys, half Heusler alloys, inverse Heusler alloys and quaternary Heusler alloys based on existing as well as indigenously prepared databases. Prior analysis was carried out to check the distribution of the data points of the response variables and found that in most of the cases, the data is not normally distributed. The outcome of the RF model performance is sufficiently accurate to predict the response variables on the test data and also shows its robustness against overfitting, outliers, multicollinearity and distribution of data points. The parity plots between the machine learning predicted values against the computed values using density functional theory (DFT) shows linear behavior with adjusted R2 values lying in the range of 0.80 to 0.94 for all the predicted properties for different types of Heusler alloys. Feature importance analysis shows that the valence electron numbers plays an important feature role in the prediction for most of the predicted outcomes. Case studies with one full Heusler alloy and one quaternary Heusler alloy were also mentioned comparing the machine learning predicted results with our earlier theoretical calculated values and experimentally measured results, suggesting high accuracy of the model predicted results.


title: The study of the efficiency of nitrogen to NV-center conversion in high nitrogen content samples

abstract: The nitrogen-vacancy color center in diamond is one of the most important systems in the fast-growing field of sensing. This color centers are used in both high-resolution and high-sensitivity sensors. However, techniques for quick and efficient formations of this color center are still in the development stage. In this paper, we present a study on the influence of the electron irradiation dose on the conversion of substitutional nitrogen into $\text{N}{{\text{V}}^{-}}$ centers. The study was done on diamonds that were highly enriched with nitrogen (~100 ppm), which on one hand should maximize the effect of irradiation, and on another be of interest for high-sensitivity magnetometers. The maximum achieved conversion efficiency was as high as ${37\pm 3.7}$, with no observed saturation on the electron dose even with the simplest annealing procedure. The measurements of the corresponding dephasing time made it possible to estimate for shot-noise limited sensitivity per unit volume of a stationary field sensor with such a diamond to be ${9\pm 1\times {{10}^{-14}}\text{T}}/{\sqrt{\text{Hz}\cdot \text{m}{{\text{m}}^{-3}}}}\;$.


title: IRIS: Integrated Retinal Functionality in Image Sensors

abstract: Neuromorphic image sensors draw inspiration from the biological retina to implement visual computations in electronic hardware. Gain control in phototransduction and temporal differentiation at the first retinal synapse inspired the first generation of neuromorphic sensors, but processing in downstream retinal circuits, much of which has been discovered in the past decade, has not been implemented in image sensor technology. We present a technology-circuit co-design solution that implements two motion computations occurring at the output of the retina that could have wide applications for vision based decision making in dynamic environments. Our simulations on Globalfoundries 22nm technology node show that, by taking advantage of the recent advances in semiconductor chip stacking technology, the proposed retina-inspired circuits can be fabricated on image sensing platforms in existing semiconductor foundries. Integrated Retinal Functionality in Image Sensors (IRIS) technology could drive advances in machine vision applications that demand robust, high-speed, energy-efficient and low-bandwidth real-time decision making.


title: Federated and Privacy-Preserving Learning of Accounting Data in Financial Statement Audits

abstract: The ongoing 'digital transformation' fundamentally changes audit evidence's nature, recording, and volume. Nowadays, the International Standards on Auditing (ISA) requires auditors to examine vast volumes of a financial statement's underlying digital accounting records. As a result, audit firms also 'digitize' their analytical capabilities and invest in Deep Learning (DL), a successful sub-discipline of Machine Learning. The application of DL offers the ability to learn specialized audit models from data of multiple clients, e.g., organizations operating in the same industry or jurisdiction. In general, regulations require auditors to adhere to strict data confidentiality measures. At the same time, recent intriguing discoveries showed that large-scale DL models are vulnerable to leaking sensitive training data information. Today, it often remains unclear how audit firms can apply DL models while complying with data protection regulations. In this work, we propose a Federated Learning framework to train DL models on auditing relevant accounting data of multiple clients. The framework encompasses Differential Privacy and Split Learning capabilities to mitigate data confidentiality risks at model inference. We evaluate our approach to detect accounting anomalies in three real-world datasets of city payments. Our results provide empirical evidence that auditors can benefit from DL models that accumulate knowledge from multiple sources of proprietary client data.


title: What is in a Name: Defining -High Entropy- Oxides

abstract: High entropy oxides are emerging as an exciting new avenue to design highly tailored functional behaviors that have no traditional counterparts. Study and application of these materials are bringing together scientists and engineers from physics, chemistry, and materials science. The diversity of each of these disciplines comes with perspectives and jargon that may be confusing to those outside of the individual fields, which can result in miscommunication of important aspects of research. In this perspective, we provide examples of research and characterization taken from these different fields to provide a framework for classifying the differences between compositionally complex oxides, high entropy oxides, and entropy stabilized oxides, which is intended to bring a common language to this emerging area. We highlight the critical importance of understanding a materials crystallinity, composition, and mixing length scales in determining its true definition.


title: The Clique Structure of Johnson Graphs

abstract: Motivated by an approach to visualization of high dimensional statistical data given in Hurley and Oldford (2011), this work examines the clique structure of $J_n(m, m-1)$ Johnson graphs. Cliques and maximal cliques are characterized and proved to be of one of only two types. These types are characterized by features of the intersection and of the union of the subsets of [n] = {1, 2, ..., n} which define the vertices of the graph. Clique numbers and clique partition numbers follow. The results on Johnson graphs are connected to results on intersecting families of sets related to extremal set theory.


title: SeSQL: Yet Another Large-scale Session-level Chinese Text-to-SQL Dataset

abstract: As the first session-level Chinese dataset, CHASE contains two separate parts, i.e., 2,003 sessions manually constructed from scratch (CHASE-C), and 3,456 sessions translated from English SParC (CHASE-T). We find the two parts are highly discrepant and incompatible as training and evaluation data. In this work, we present SeSQL, yet another large-scale session-level text-to-SQL dataset in Chinese, consisting of 5,028 sessions all manually constructed from scratch. In order to guarantee data quality, we adopt an iterative annotation workflow to facilitate intense and in-time review of previous-round natural language (NL) questions and SQL queries. Moreover, by completing all context-dependent NL questions, we obtain 27,012 context-independent question/SQL pairs, allowing SeSQL to be used as the largest dataset for single-round multi-DB text-to-SQL parsing. We conduct benchmark session-level text-to-SQL parsing experiments on SeSQL by employing three competitive session-level parsers, and present detailed analysis.


title: On pattern-avoiding permutons

abstract: The theory of limits of permutations leads to limit objects called permutons, which are certain Borel measures on the unit square. We prove that permutons avoiding a given permutation of order $k$ have a particularly simple structure. Namely, almost every fiber of the disintegration of the permuton (say, along the x-axis) consists only of atoms, at most $(k-1)$ many, and this bound is sharp. We use this to give a simple proof of the `permutation removal lemma'.


title: Regular Rotating Black Holes: A Review

abstract: The collapse of astrophysically significant bodies generates, under suitable conditions, black holes. Since one expects the generator of the black hole to be a rotating body, the black hole will also rotate. The existence of inner singularities in classical solutions for rotating black holes and the fact that General Relativity is incompatible with Quantum Mechanics lead us to seek for alternative regular models for rotating black holes. The interest in singularity-free rotating black holes has grown significantly in recent years, as shown by the increase in the number of published papers devoted to it. Undoubtedly, the latest observational developments (LIGO-VIRGO-KAGRA collaborations, the Event Horizon Telescope or, in the near future, the LISA project) and the possibility to probe our theoretical predictions have greatly contributed to awaken the interest. This text discusses the general characteristics of regular rotating black holes. These include the conditions needed to guarantee the absence of singularities and the consequences that such conditions entail for the violation of the energy conditions in black hole models. It is argued that regular rotating black holes do not require an extension through their inner disk, contrary to classical rotating black holes. In this way, the problems with negative-mass interpretations and causality violations appearing in classical solutions could be avoided. It has been included a discussion on the maximal extension and the usual global causal structure expected for these spacetimes. The different methods for obtaining regular rotating black holes are treated, including the use of the generalized Newman-Janis algorithm as an alibi to derive regular rotating black holes from regular spherically symmetric static ones. The text also provides an introduction to the thermodynamics and phenomenology of rotating black holes.


title: An Indicator Formula for the Hopf Algebra $k^{S_{n-1}}\#kC_n$

abstract: The semisimple bismash product Hopf algebra $J_n=k^{S_{n-1}}\#kC_n$ for an algebraically closed field $k$ is constructed using the matched pair actions of $C_n$ and $S_{n-1}$ on each other. In this work, we reinterpret these actions and use an understanding of the involutions of $S_{n-1}$ to derive a new Froebnius-Schur indicator formula for irreps of $J_n$ and show that for $n$ odd, all indicators of $J_n$ are nonnegative. We also derive a variety of counting formulas including Theorem 6.2.2 which fully describes the indicators of all $2$-dimensional irreps of $J_n$ and Theorem 6.1.2 which fully describes the indicators of all odd-dimensional irreps of $J_n$ and use these formulas to show that nonzero indicators become rare for large $n$.


title: ICEBOAT: An Interactive User Behavior Analysis Tool for Automotive User Interfaces

abstract: In this work, we present ICEBOAT an interactive tool that enables automotive UX experts to explore how users interact with In-vehicle Information Systems. Based on large naturalistic driving data continuously collected from production line vehicles, ICEBOAT visualizes drivers' interactions and driving behavior on different levels of detail. Hence, it allows to easily compare different user flows based on performance- and safety-related metrics.


title: Multi-Scale Architectures Matter: On the Adversarial Robustness of Flow-based Lossless Compression

abstract: As a probabilistic modeling technique, the flow-based model has demonstrated remarkable potential in the field of lossless compression \cite{idf,idf++,lbb,ivpf,iflow},. Compared with other deep generative models (eg. Autoregressive, VAEs) \cite{bitswap,hilloc,pixelcnn++,pixelsnail} that explicitly model the data distribution probabilities, flow-based models perform better due to their excellent probability density estimation and satisfactory inference speed. In flow-based models, multi-scale architecture provides a shortcut from the shallow layer to the output layer, which significantly reduces the computational complexity and avoid performance degradation when adding more layers. This is essential for constructing an advanced flow-based learnable bijective mapping. Furthermore, the lightweight requirement of the model design in practical compression tasks suggests that flows with multi-scale architecture achieve the best trade-off between coding complexity and compression efficiency.


title: Catlas: an automated framework for catalyst discovery demonstrated for direct syngas conversion

abstract: Catalyst discovery is paramount to support access to energy and key chemical feedstocks in a post fossil fuel era. Exhaustive computational searches of large material design spaces using ab-initio methods like density functional theory (DFT) are infeasible. We seek to explore large design spaces at relatively low computational cost by leveraging large, generalized, graph-based machine learning (ML) models, which are pretrained and therefore require no upfront data collection or training. We present catlas, a framework that distributes and automates the generation of adsorbate-surface configurations and ML inference of DFT energies to achieve this goal. Catlas is open source, making ML assisted catalyst screenings easy and available to all. To demonstrate its efficacy, we use catlas to explore catalyst candidates for the direct conversion of syngas to multi-carbon oxygenates. For this case study, we explore 947 stable/ metastable binary, transition metal intermetallics as possible catalyst candidates. On this subset of materials, we are able to predict the adsorption energy of key descriptors, *CO and *OH, with near-DFT accuracy (0.16, 0.14 eV MAE, respectively). Using the projected selectivity towards C2+ oxygenates from an existing microkinetic model, we identified 144 candidate materials. For 10 promising candidates, DFT calculations reveal a good correlation with our assessment using ML. Among the top elemental combinations were Pt-Ti, Pd-V, Ni-Nb, and Ti-Zn, all of which appear unexplored experimentally.


title: On the Nature of Spatial Universes in 3D Lorentzian Quantum Gravity

abstract: Three-dimensional Lorentzian quantum gravity, expressed as the continuum limit of a nonperturbative sum over spacetimes, is tantalizingly close to being amenable to analytical methods, and some of its properties have been described in terms of effective matrix and other models. To gain a more detailed understanding of three-dimensional quantum gravity, we perform a numerical investigation of the nature of spatial hypersurfaces in three-dimensional Causal Dynamical Triangulations (CDT). We measure and analyze several quantum observables, the entropy exponent, the local and global Hausdorff dimensions, and the quantum Ricci curvature of the spatial slices, and try to match them with known continuum properties of systems of two-dimensional quantum geometry. Above the first-order phase transition of CDT quantum gravity, we find strong evidence that the spatial dynamics lies in the same universality class as two-dimensional Euclidean (Liouville) quantum gravity. Below the transition, the behaviour of the spatial slices does not match that of any known quantum gravity model. This may indicate the existence of a new type of two-dimensional quantum system, induced by the more complex nature of the embedding three-dimensional quantum geometry.


title: Modelling spatio-temporal trends of air pollution in Africa

abstract: Atmospheric pollution remains one of the major public health threat worldwide with an estimated 7 millions deaths annually. In Africa, rapid urbanization and poor transport infrastructure are worsening the problem. In this paper, we have analysed spatio-temporal variations of PM2.5 across different geographical regions in Africa. The West African region remains the most affected by the high levels of pollution with a daily average of 40.856 $\mu g/m^3$ in some cities like Lagos, Abuja and Bamako. In East Africa, Uganda is reporting the highest pollution level with a daily average concentration of 56.14 $\mu g/m^3$ and 38.65 $\mu g/m^3$ for Kigali. In countries located in the central region of Africa, the highest daily average concentration of PM2.5 of 90.075 $\mu g/m^3$ was recorded in N'Djamena. We compare three data driven models in predicting future trends of pollution levels. Neural network is outperforming Gaussian processes and ARIMA models.


title: 3-D selection of 167 sub-stellar companions to nearby stars

abstract: We analyze 5108 AFGKM stars with at least five high precision radial velocity points as well as Gaia and Hipparcos astrometric data utilizing a novel pipeline developed in previous work. We find 914 radial velocity signals with periods longer than 1000\,d. Around these signals, 167 cold giants and 68 other types of companions are identified by combined analyses of radial velocity, astrometry, and imaging data. Without correcting for detection bias, we estimate the minimum occurrence rate of the wide-orbit brown dwarfs to be 1.3\%, and find a significant brown dwarf valley around 40 $M_{\rm Jup}$. We also find a power-law distribution in the host binary fraction beyond 3 au similar to that found for single stars, indicating no preference of multiplicity for brown dwarfs. Our work also reveals nine sub-stellar systems (GJ 234 B, GJ 494 B, HD 13724 b, HD 182488 b, HD 39060 b and c, HD 4113 C, HD 42581 d, HD 7449 B, and HD 984 b) that have previously been directly imaged, and many others that are observable at existing facilities. Depending on their ages we estimate that an additional 10-57 sub-stellar objects within our sample can be detected with current imaging facilities, extending the imaged cold (or old) giants by an order of magnitude.


title: A Subquadratic $n^\epsilon$-approximation for the Continuous Fr\'echet Distance

abstract: The Fr\'echet distance is a commonly used similarity measure between curves. It is known how to compute the continuous Fr\'echet distance between two polylines with $m$ and $n$ vertices in $\mathbb{R}^d$ in $O(mn (\log \log n)^2)$ time; doing so in strongly subquadratic time is a longstanding open problem. Recent conditional lower bounds suggest that it is unlikely that a strongly subquadratic algorithm exists. Moreover, it is unlikely that we can approximate the Fr\'echet distance to within a factor $3$ in strongly subquadratic time, even if $d=1$. The best current results establish a tradeoff between approximation quality and running time. Specifically, Colombe and Fox (SoCG, 2021) give an $O(\alpha)$-approximate algorithm that runs in $O((n^3 / \alpha^2) \log n)$ time for any $\alpha \in [\sqrt{n}, n]$, assuming $m = n$. In this paper, we improve this result with an $O(\alpha)$-approximate algorithm that runs in $O((n + mn / \alpha) \log^3 n)$ time for any $\alpha \in [1, n]$, assuming $m \leq n$ and constant dimension $d$.


title: Trumpler 16-26: A New Centrifugal Magnetosphere Discovered via SDSS/APOGEE H-band Spectroscopy

abstract: We report the discovery of a new example of the rare class of highly magnetized, rapidly rotating, helium enhanced, early B stars that produce anomalously wide hydrogen emission due to a centrifugal magnetosphere (CM). The star is Trumpler 16-26, a B1.5 V member of the Trumpler 16 open cluster. A CM was initially suspected based on hydrogen Brackett series emission observed in SDSS/APOGEE $H$-band spectra. Similar to the other stars of this type, the emission was highly variable and at all times remarkable due to the extreme velocity separations of the double peaks (up to 1300 km s$^{-1}$.) Another clue lay in the TESS lightcurve, which shows two irregular eclipses per cycle when phased with the likely 0.9718115 day rotation period, similar to the behavior of the well known CM host star $\sigma$ Ori E. To confirm a strong magnetic field and rotation-phase-locked variability, we initiated a follow-up campaign consisting of optical spectropolarimetry and spectroscopy. The associated data revealed a longitudinal magnetic field varying between $-3.1$ and $+1.6$ kG with the period found from photometry. The optical spectra confirmed rapid rotation ($v \sin i=195$ km s$^{-1}$), surface helium enhancement, and wide, variable hydrogen emission. Tr16-26 is thus confirmed as the 20$^{\rm th}$ known, the fourth most rapidly rotating, and the faintest CM host star yet discovered. With a projected dipole magnetic field strength of $B_{\rm d}>11$ kG, Tr16-26 is also among the most magnetic CM stars.


title: Software Performability Analysis Using Fast Parametric Model Checking

abstract: We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software systems. The new PMC technique works by automatically decomposing a parametric discrete-time Markov chain (pDTMC) model of the software system under verification into fragments that can be analysed independently, yielding results that are then combined to establish the required software performability properties. Our fast parametric model checking (fPMC) technique enables the formal analysis of software systems modelled by pDTMCs that are too complex to be handled by existing PMC methods. Furthermore, for many pDTMCs that state-of-the-art parametric model checkers can analyse, fPMC produces solutions (i.e., algebraic formulae) that are simpler and much faster to evaluate. We show experimentally that adding fPMC to the existing repertoire of PMC methods improves the efficiency of parametric model checking significantly, and extends its applicability to software systems with more complex behaviour than currently possible.


title: Multi-objective Hyper-parameter Optimization of Behavioral Song Embeddings

abstract: Song embeddings are a key component of most music recommendation engines. In this work, we study the hyper-parameter optimization of behavioral song embeddings based on Word2Vec on a selection of downstream tasks, namely next-song recommendation, false neighbor rejection, and artist and genre clustering. We present new optimization objectives and metrics to monitor the effects of hyper-parameter optimization. We show that single-objective optimization can cause side effects on the non optimized metrics and propose a simple multi-objective optimization to mitigate these effects. We find that next-song recommendation quality of Word2Vec is anti-correlated with song popularity, and we show how song embedding optimization can balance performance across different popularity levels. We then show potential positive downstream effects on the task of play prediction. Finally, we provide useful insights on the effects of training dataset scale by testing hyper-parameter optimization on an industry-scale dataset.


title: A proof of the Brill-Noether method from scratch

abstract: In 1874 Brill and Noether designed a seminal geometric method for computing bases of Riemann-Roch spaces. From then, their method has led to several algorithms, some of them being implemented in computer algebra systems. The usual proofs often rely on abstract concepts of algebraic geometry and commutative algebra. In this paper we present a short self-contained and elementary proof that mostly needs Newton polygons, Hensel lifting, bivariate resultants, and Chinese remaindering.


title: A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

abstract: The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language of the recent extension of the I-DLV system for stream reasoning called I-DLV-sr. Although these two languages build over Datalog, they do differ both in syntax and semantics. To reconcile their expressive capabilities for stream reasoning, we define a comparison framework that allows us to show that, without any restrictions, the two languages are incomparable and to identify fragments of each language that can be expressed via the other one.


title: Color-avoiding percolation in edge-colored Erd\H{o}s-R\'enyi graphs

abstract: We study a variant of the color-avoiding percolation model introduced by Krause et al., namely we investigate the color-avoiding bond percolation setup on (not necessarily properly) edge-colored Erd\H{o}s-R\'{e}nyi random graphs. We say that two vertices are color-avoiding connected in an edge-colored graph if after the removal of the edges of any color, they are in the same component in the remaining graph. The color-avoiding connected components of an edge-colored graph are maximal sets of vertices such that any two of them are color-avoiding connected. We consider the fraction of vertices contained in color-avoiding connected components of a given size as well as the fraction of vertices contained in the giant color-avoiding connected component. Under some mild assumptions on the color-densities, we prove that these quantities converge and the limits can be expressed in terms of probabilities associated to edge-colored branching process trees. We provide explicit formulas for the limit of the normalized size of the giant color-avoiding component, and in the two-colored case we also provide explicit formulas for the limit of the fraction of vertices contained in color-avoiding connected components of a given size.


title: Stabilizability of linear systems with discrete observation mode

abstract: For linear control systems, the usual state feedback stabilizability has two components: one is a continuous observation mode (i.e., to observe solutions continuously in time), and the other is a class of feedback laws (which is usually the space of all of the linear and bounded operators from a state space to a control space). This paper studies the stabilizability for abstract linear control systems, with a discrete observation mode (i.e., to observe solutions discretely in time) and two different classes of feedback laws. We first characterize these types of stabilizabilities via some weak observability inequalities for the dual systems. Then, we use these characterizations to reveal the connections between these types of stabilizabilities and those with continuous observation mode. Finally, we show some applications of the aforementioned weak observability inequalities.


title: Automated False Positive Filtering for esNetwork Alerts

abstract: An Intrusion Detection System (IDS) is one of the security tools that can automatically analyze network traffic and detect suspicious activities. They are widely implemented as security guarantee tools in various business networks. However, the high rate of false-positive alerts creates an overwhelming number of unnecessary alerts for security analysts to sift through. The esNetwork is an IDS product by eSentire Inc. This project focuses on reducing the false-positive alerts generated by esNetwork with the help of a Random Forest (RF) classifier. The RF model was built to classify the alerts as high and low and only pass high likelihood alerts to the analysts. As a result of evaluation experiments, this model can achieve an accuracy of 97% for training validation, 88% for testing with the recent data, and 58% with Security Operation Centre (SOC) reviewed events. The evaluation result of the proposed model is intermediate because of the deficiency of clearly labeled data for training as well as the SOC-reviewed events for evaluation. The model still needs time to be fine-tuned to meet the industry deployment requirement.


title: Tangent phylogenetic PCA

abstract: Phylogenetic PCA (p-PCA) is a version of PCA for observations that are leaf nodes of a phylogenetic tree. P-PCA accounts for the fact that such observations are not independent, due to shared evolutionary history. The method works on Euclidean data, but in evolutionary biology there is a need for applying it to data on manifolds, particularly shapes. We provide a generalization of p-PCA to data lying on Riemannian manifolds, called Tangent p-PCA. Tangent p-PCA thus makes it possible to perform dimension reduction on a data set of shapes, taking into account both the non-linear structure of the shape space as well as phylogenetic covariance. We show simulation results on the sphere, demonstrating well-behaved error distributions and fast convergence of estimators. Furthermore, we apply the method to a data set of mammal jaws, represented as points on a landmark manifold equipped with the LDDMM metric.


title: Comparing Apples to Oranges: Learning Similarity Functions for Data Produced by Different Distributions

abstract: Similarity functions measure how comparable pairs of elements are, and play a key role in a wide variety of applications, e.g., notions of Individual Fairness abiding by the seminal paradigm of Dwork et al., as well as Clustering problems. However, access to an accurate similarity function should not always be considered guaranteed, and this point was even raised by Dwork et al. For instance, it is reasonable to assume that when the elements to be compared are produced by different distributions, or in other words belong to different ``demographic'' groups, knowledge of their true similarity might be very difficult to obtain. In this work, we present an efficient sampling framework that learns these across-groups similarity functions, using only a limited amount of experts' feedback. We show analytical results with rigorous theoretical bounds, and empirically validate our algorithms via a large suite of experiments.


title: Strategy-proof aggregation rules in median semilattices with applications to preference aggregation

abstract: Two characterizations of the whole class of strategy-proof aggregation rules on rich domains of locally unimodal preorders in finite median join-semilattices are provided. In particular, it is shown that such a class consists precisely of generalized weak sponsorship rules induced by certain families of order filters of the coalition poset. It follows that the co-majority rule and many other inclusive aggregation rules belong to that class. The co-majority rule for an odd number of agents is characterized and shown to be equivalent to a Condorcet-Kemeny median rule. Applications to preference aggregation rules including Arrowian social welfare functions are also considered. The existence of strategy-proof anonymous, weakly neutral and unanimity-respecting social welfare functions which are defined on arbitrary profiles of total preorders and satisfy a suitably relaxed independence condition is shown to follow from our characterizations.


title: Optimal Profile Design for Acoustic Black Holes using Timoshenko beam Theory

abstract: We revisit the problem of constructing one-dimensional acoustic black holes. Instead of considering the Euler-Bernoulli beam theory, we use Timoshenko's approach instead, which is known to be more realistic at higher frequencies. Our goal is to minimize the reflection coefficient under a constraint imposed on the normalized wave number variation. We use the calculus of variations in order to derive the corresponding Euler-Lagrange equation analytically and then use numerical methods to solve this equation in order to find the optimal height profile for different frequencies. We then compare these profiles to the corresponding ones previously found using the Euler-Bernoulli beam theory and see that in the lower range of the dimensionless frequency $\Omega$ (defined using the largest height of the plate), the optimal profiles almost coincide, as expected. For higher such frequencies, even for values where Euler-Bernoulli theory should still be marginally valid, the profiles predicted using Euler-Bernoulli differ substantially from the correct ones predicted by Timoshenko theory. One explanation for this phenomenon is that unlike in the constant height case, in our setting the wave numbers also depend on the ratio between the smallest and the largest heights.


title: Polarization-controlled volatile ferroelectric and capacitive switching in Sn$_2$P$_2$S$_6$

abstract: Smart electronic circuits that support neuromorphic computing on the hardware level necessitate materials with memristive, memcapacitive, and neuromorphic-like functional properties; in short, the electronic response must depend on the voltage history, thus enabling learning algorithms. Here we demonstrate volatile ferroelectric switching of Sn$_2$P$_2$S$_6$ at room temperature and see that initial polarization orientation strongly determines the properties of polarization switching. In particular, polarization switching hysteresis is strongly imprinted by the original polarization state, shifting the regions of non-linearity toward zero-bias. As a corollary, polarization switching also enables effective capacitive switching, approaching the sought-after regime of memcapacitance. Landau-Ginzburg-Devonshire simulations demonstrate that one mechanism by which polarization can control the shape of the hysteresis loop is the existence of charged domain walls decorating the periphery of the repolarization nucleus. These walls oppose the growth of the switched domain and favor back-switching, thus creating a scenario of controlled volatile ferroelectric switching. Although the measurements were carried out with single crystals, prospectively volatile polarization switching can be tuned by tailoring sample thickness, domain wall mobility and electric fields, paving way to non-linear dielectric properties for smart electronic circuits.


title: Heisenberg's uncertainty principle and particle trajectories

abstract: In this paper we critically analyse W. Heisenberg's arguments against the ontology of point particles following trajectories in quantum theory, presented in his famous 1927 paper and in his Chicago lectures (1929). Along the way, we will clarify the meaning of Heisenberg's uncertainty relation and help resolve some confusions related to it.


title: Machine-learning Based Screening of Lead-free Halide Double Perovskites for Photovoltaic Applications

abstract: Lead-free halide double perovskites are promising stable and non-toxic alternatives to methylammonium lead iodide in the field of photovoltaics. In this context, the most commonly used double perovskite is Cs$_2$AgBiBr$_6$, due to its favorable charge transport properties. However, the maximum power conversion efficiency obtained for this material does not exceed 3\%, as a consequence of its wide indirect gap and its intrinsic and extrinsic defects. On the other hand, the materials space that arises from the substitution of different elements in the 4 lattice sites of this structure is large and still mostly unexplored. In this work a neural network is used to predict the band gap of double perovskites from an initial space of 7056 structures and select candidates suitable for visible light absorption. Successive hybrid DFT calculations are used to evaluate the thermodynamic stability, the power conversion efficiency and the effective masses of the selected compounds, and to propose novel potential solar absorbers.


title: Fast Auto-Differentiable Digitally Reconstructed Radiographs for Solving Inverse Problems in Intraoperative Imaging

abstract: The use of digitally reconstructed radiographs (DRRs) to solve inverse problems such as slice-to-volume registration and 3D reconstruction is well-studied in preoperative settings. In intraoperative imaging, the utility of DRRs is limited by the challenges in generating them in real-time and supporting optimization procedures that rely on repeated DRR synthesis. While immense progress has been made in accelerating the generation of DRRs through algorithmic refinements and GPU implementations, DRR-based optimization remains slow because most DRR generators do not offer a straightforward way to obtain gradients with respect to the imaging parameters. To make DRRs interoperable with gradient-based optimization and deep learning frameworks, we have reformulated Siddon's method, the most popular ray-tracing algorithm used in DRR generation, as a series of vectorized tensor operations. We implemented this vectorized version of Siddon's method in PyTorch, taking advantage of the library's strong automatic differentiation engine to make this DRR generator fully differentiable with respect to its parameters. Additionally, using GPU-accelerated tensor computation enables our vectorized implementation to achieve rendering speeds equivalent to state-of-the-art DRR generators implemented in CUDA and C++. We illustrate the resulting method in the context of slice-to-volume registration. Moreover, our simulations suggest that the loss landscapes for the slice-to-volume registration problem are convex in the neighborhood of the optimal solution, and gradient-based registration promises a much faster solution than prevailing gradient-free optimization strategies. The proposed DRR generator enables fast computer vision algorithms to support image guidance in minimally invasive procedures. Our implementation is publically available at https://github.com/v715/DiffDRR.


title: Affinity-Aware Resource Provisioning for Long-Running Applications in Shared Clusters

abstract: Resource provisioning plays a pivotal role in determining the right amount of infrastructure resource to run applications and target the global decarbonization goal. A significant portion of production clusters is now dedicated to long-running applications (LRAs), which are typically in the form of microservices and executed in the order of hours or even months. It is therefore practically important to plan ahead the placement of LRAs in a shared cluster so that the number of compute nodes required by them can be minimized to reduce carbon footprint and lower operational costs. Existing works on LRA scheduling are often application-agnostic, without particularly addressing the constraining requirements imposed by LRAs, such as co-location affinity constraints and time-varying resource requirements. In this paper, we present an affinity-aware resource provisioning approach for deploying large-scale LRAs in a shared cluster subject to multiple constraints, with the objective of minimizing the number of compute nodes in use. We investigate a broad range of solution algorithms which fall into three main categories: Application-Centric, Node-Centric, and Multi-Node approaches, and tune them for typical large-scale real-world scenarios. Experimental studies driven by the Alibaba Tianchi dataset show that our algorithms can achieve competitive scheduling effectiveness and running time, as compared with the heuristics used by the latest work including Medea and LraSched.


title: Ices in planet-forming disks: Self-consistent ice opacities in disk models

abstract: In cold and shielded environments, molecules freeze out on dust grain surfaces to form ices such as H2O, CO, CO2, CH4, CH3OH, and NH3. In protoplanetary disks, the exact radial and vertical ice extension depend on disk mass, geometry, and stellar UV irradiation. The goal of this work is to present a computationally efficient method to compute ice and bare-grain opacities in protoplanetary disk models consistently with the chemistry and to investigate the effect of ice opacities on the physico-chemical state and optical appearance of the disk. A matrix of Mie efficiencies is pre-calculated for different ice species and thicknesses, from which the position dependent opacities of icy grains are then interpolated. This is implemented in the PRODIMO code by a self-consistent solution of ice opacities and the local composition of ices, which are obtained from our chemical network. Locally, the opacity can change significantly, for example, an increase by a factor of more than 200 in the midplane, especially at UV and optical wavelengths, due to ice formation. This is mainly due to changes in the size distribution of dust grains resulting from ice formation. However, since the opacity only changes in the optically thick regions of the disk, the thermal disk structure does not change significantly. For the same reason, the spectral energy distributions computed with our disk models with ice opacities generally show only faint ice emission features at far-IR wavelengths. The ice absorption features are only seen in the edgeon orientation. The assumption made on how the ice is distributed across the grain size distribution influences the far-IR and millimeter slope of the SED. The ice features and their strengths are influenced by the ice power law and the type of chemistry. Our models predict stronger ice features for observations that can spatially resolve the disk, particularly in absorption.


title: Blending type Approximations by Kantorovich variant of $\alpha$-Schurer operators

abstract: In the present manuscript, we present a new sequence of operators, $i.e.$, $\alpha$-Bernstein-Schurer-Kantorovich operators depending on two parameters $\alpha\in[0,1]$ and $\rho>0$ for one and two variables to approximate measurable functions on $[0: 1+q], q>0$. Next, we give basic results and discuss the rapidity of convergence and order of approximation for univariate and bivariate of these sequences in their respective sections. Further, Graphical and numerical analysis are presented. Moreover, local and global approximation properties are discussed in terms of first and second order modulus of smoothness, Peetre's K-functional and weight functions for these sequences in different spaces of functions.


title: Measurement of electroweak $Z(\nu\bar{\nu})\gamma jj$ production and limits on anomalous quartic gauge couplings in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: The electroweak production of $Z(\nu\bar{\nu})\gamma$ in association with two jets is studied in a regime with a photon of high transverse momentum above 150 GeV using proton-proton collisions at a centre-of-mass energy of 13 TeV at the Large Hadron Collider. The analysis uses a data sample with an integrated luminosity of 139 fb$^{-1}$ collected by the ATLAS detector during the 2015-2018 LHC data-taking period. This process is an important probe of the electroweak symmetry breaking mechanism in the Standard Model and is sensitive to quartic gauge boson couplings via vector-boson scattering. The fiducial $Z(\nu\bar{\nu})\gamma jj$ cross section for electroweak production is measured to be 0.77$^{+0.34}_{-0.30}$ fb and is consistent with the Standard Model prediction. Evidence of electroweak $Z(\nu\bar{\nu})\gamma jj$ production is found with an observed significance of 3.2$\sigma$ for the background-only hypothesis, compared with an expected significance of 3.7$\sigma$. The combination of this result with the previously published ATLAS observation of electroweak $Z(\nu\bar{\nu})\gamma jj$ production yields an observed (expected) signal significance of 6.3$\sigma$ (6.6$\sigma$). Limits on anomalous quartic gauge boson couplings are obtained in the framework of effective field theory with dimension-8 operators.


title: On the Morley's triangle

abstract: We give a complete investigation of Morley's trisector theorem. If the intersections of the half lines starting from the adjacent vertices of a triangle form an equilateral triangle for an arbitrary triangle, then the half lines are the angle trisectors. To derive the result we use elementary trigonometry, Taylor series expansions, and solve systems of polynomial equations step by step. As a byproduct we get a probably new trigonometric identity.


title: White-box Fuzzing RPC-based APIs with EvoMaster: An Industrial Case Study

abstract: Remote Procedure Call (RPC) is a communication protocol to support client-server interactions among services over a network. RPC is widely applied in industry for building large-scale distributed systems, such as Microservices. Modern RPC frameworks include for example Thrift, gRPC, SOFARPC and Dubbo. Testing such systems is very challenging, due to the complexity of distributed systems and various RPC frameworks the system could employ. To the best of our knowledge, there does not exist any tool or solution that could enable automated testing of modern RPC-based services. To fill this gap, in this paper we propose the first approach in the literature, together with an open-source tool, for white-box fuzzing modern RPC-based APIs with search. To assess our novel approach, we conducted an empirical study with two artificial and four industrial APIs selected by our industrial partner. The tool has been integrated into a real industrial pipeline, and could be applied to real industrial development process for fuzzing RPC-based APIs. To further demonstrate its effectiveness and application in industrial settings, we also report results of employing our tool for fuzzing another 50 industrial APIs autonomously conducted by our industrial partner in their testing processes. Results show that our novel approach is capable of enabling automated test case generation for industrial RPC-based APIs (i.e., two artificial and 54 industrial). We also compared with a simple grey-box technique and existing manually written tests. Our white-box solution achieves significant improvements on code coverage. Regarding fault detection, by conducting a careful review with our industrial partner of the tests generated by our novel approach in the selected four industrial APIs, a total of 41 real faults were identified, which have now been fixed. Another 8,377 detected faults are currently under investigation.


title: Implementing quantum dimensionality reduction for non-Markovian stochastic simulation

abstract: Complex systems are embedded in our everyday experience. Stochastic modelling enables us to understand and predict the behaviour of such systems, cementing its utility across the quantitative sciences. Accurate models of highly non-Markovian processes -- where the future behaviour depends on events that happened far in the past -- must track copious amounts of information about past observations, requiring high-dimensional memories. Quantum technologies can ameliorate this cost, allowing models of the same processes with lower memory dimension than corresponding classical models. Here we implement such memory-efficient quantum models for a family of non-Markovian processes using a photonic setup. We show that with a single qubit of memory our implemented quantum models can attain higher precision than possible with any classical model of the same memory dimension. This heralds a key step towards applying quantum technologies in complex systems modelling.

categories: quant-ph cond-mat.stat-mech cs.IT math.IT physics.optics


title: Advances in the Geometry of the Ratio of Linear Points in the Desargues Affine Plane Skew Field

abstract: This paper introduces advances in the geometry of the ratio of either two or three points in a line in the Desargues affine plane, and we see this as a ratio of elements of skew field which are constructed over a line in Desargues affine plane. The results given here have a clean, geometric presentation based Desargues affine plan axiomatics and definitions of addition and multiplication of points on a line in this plane, and for skew field properties. The results in this paper are: (1) study of properties for ratio of two and three points, in a line on Desargues affine plane. Also, we discuss the cases related to the "line-skew field" characteristic, when it is two and when it is different from two. (2) we have construct the maps for ratio points-set, for two and three points, and have prove that, this maps are bijections of the lines. (3) set of ratio points (for two and for three points) with addition and multiplication of points, forms a skew fields, for more, this skew fields are sub-skew fields of the 'line-skew field' on Desargues affine plane. (4) Every Dyck polygon containing co-linear ratio vertices in the Desargues affine plane has a free group presentation.


title: A geometric decomposition of real diagonalizable matrices with complex eigenvalues

abstract: For any real diagonalizable matrix with complex eigenvalues we provide a real, coordinate free decomposition with a clear geometric interpretation.


title: Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

abstract: In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However, on recursive constrained data-structures (e.g., sorted lists, binary search trees, quadtrees), and, more generally, when the structures are highly constrained, generating uniformly distributed inputs is difficult. In this paper, we present Testify: a framework in which users can define algebraic data-types decorated with high-level constraints. These constraints are interpreted as membership predicates that restrict the set of inhabitants of the type. From these definitions, Testify automatically synthesises a partial specification of the program so that no function produces a value that violates the constraints (e.g. a binary search tree where nodes are improperly inserted). Our framework augments the original program with tests that check such properties. To achieve that, we automatically produce uniform random samplers that generate values which satisfy the constraints, and verifies the validity of the outputs of the tested functions. By generating the shape of a recursive data-structure using Boltzmann sampling and generating evenly distributed finite domain variable values using constraint solving, our framework guarantees size-constrained uniform sampling of test cases. We provide use-cases of our framework on several key data structures that are of practical relevance for developers. Experiments show encouraging results.


title: Brain Chains as Topological Signatures for Alzheimer's Disease

abstract: We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.


title: The stratification by automorphism groups of smooth plane sextic curves

abstract: We obtain the list of automorphism groups for smooth plane sextic curves over an algebraically closed field K of characteristic p=0 or p>21. Moreover, we assign to each group a geometrically complete family over K describing its corresponding stratum, that is, a generic defining polynomial equation with parameters such that any curve in the stratum is K-isomorphic to a non-singular plane model obtained by specializing the values of those parameters over K.


title: Rescattering effect on the measurement of K* spin alignment in heavy-ion collisions

abstract: Spin alignment of vector mesons in noncentral relativistic heavy ion collisions provides a novel probe of the global quark polarization and hadronization mechanism. In this paper, we discuss the spin alignment of a short-lived vector meson, namely K*, arising from the hadronic rescattering process using the UrQMD model. This spin alignment is not related to global quark polarization but cannot be distinguished from those arising from global quark polarization in experiments. The spin alignment parameter $\rho_{00}$ is found to deviate from 1/3 by up to -0.008 (0.03) with respect to the reaction (production) plane. These deviations are much larger than the expected signal from all the theoretical models implementing the conventional global quark polarization mechanism as well as the current experimental precision, and should be considered seriously when comparing measurements with theoretical calculations.


title: Linearity and Non-linearity of Groups of Polynomial Automorphisms of $K^2$

abstract: Let $K$ be a field, and let $\Aut \,K^2$ be the group of polynomial automorphisms of $K^2$. We investigate which subgroups are linear or not. In characteristic zero, there are small nonlinear subgroups and some big linear subgroups. When $K$ has finite characteristic, the whole group $\Aut\,K^2$ is linear whenever $K$ is finite, and nonlinear otherwise.