title: Bilayer twisting as a mean to isolate connected flat bands in a Kagome lattice through Wigner crystallization

abstract: The physics of flat band is novel and rich but difficult to access. In this regard, recently twisting of bilayer van der Waals (vdW)-bounded two-dimensional (2D) materials has attracted much attention, because the reduction of Brillouin zone will eventually lead to a diminishing kinetic energy. Alternatively, one may start with a 2D Kagome lattice, which already possesses flat bands at the Fermi level, but unfortunately these bands connect quadratically to other (dispersive) bands, leading to undesirable effects. Here, we propose, by first-principles calculation and tight-binding modeling, that the same bilayer twisting approach can be used to isolate the Kagome flat bands. As the starting kinetic energy is already vanishingly small, the interlayer vdW potential is always sufficiently large irrespective of the twisting angle. As such the electronic states in the (connected) flat bands become unstable against a spontaneous Wigner crystallization, which is expected to have interesting interplays with other flat-band phenomena such as novel superconductivity and anomalous quantum Hall effect.


title: Symbolic Automatic Relations and Their Applications to SMT and CHC Solving

abstract: Despite the recent advance of automated program verification, reasoning about recursive data structures remains as a challenge for verification tools and their backends such as SMT and CHC solvers. To address the challenge, we introduce the notion of symbolic automatic relations (SARs), which combines symbolic automata and automatic relations, and inherits their good properties such as the closure under Boolean operations. We consider the satisfiability problem for SARs, and show that it is undecidable in general, but that we can construct a sound (but incomplete) and automated satisfiability checker by a reduction to CHC solving. We discuss applications to SMT and CHC solving on data structures, and show the effectiveness of our approach through experiments.


title: On 2D Harmonic Extensions of Vector Fields and Stellarator Coils

abstract: We consider a problem relating to magnetic confinement devices known as stellarators. Plasma is confined by magnetic fields generated by current-carrying coils, and here we investigate how closely to the plasma they need to be positioned. Current-carrying coils are represented as singularities within the magnetic field and therefore this problem can be modelled mathematically as finding how far we can harmonically extend a vector field from the boundary of a domain. For this paper we consider two-dimensional domains with real analytic boundary, and prove that a harmonic extension exists if and only if the boundary data satisfies a combined compatibility and regularity condition. Our method of proof uses a generalisation of a result of Hadamard on the Cauchy problem for the Laplacian. We then provide a lower bound on how far we can harmonically extend the vector field from the boundary via the Cauchy--Kovalevskaya Theorem.


title: Wireless Federated Langevin Monte Carlo: Repurposing Channel Noise for Bayesian Sampling and Privacy

abstract: Most works on federated learning (FL) focus on the most common frequentist formulation of learning whereby the goal is minimizing the global empirical loss. Frequentist learning, however, is known to be problematic in the regime of limited data as it fails to quantify epistemic uncertainty in prediction. Bayesian learning provides a principled solution to this problem by shifting the optimization domain to the space of distribution in the model parameters. {\color{black}This paper proposes a novel mechanism for the efficient implementation of Bayesian learning in wireless systems. Specifically, we focus on a standard gradient-based Markov Chain Monte Carlo (MCMC) method, namely Langevin Monte Carlo (LMC), and we introduce a novel protocol, termed Wireless Federated LMC (WFLMC), that is able to repurpose channel noise for the double role of seed randomness for MCMC sampling and of privacy preservation.} To this end, based on the analysis of the Wasserstein distance between sample distribution and global posterior distribution under privacy and power constraints, we introduce a power allocation strategy as the solution of a convex program. The analysis identifies distinct operating regimes in which the performance of the system is power-limited, privacy-limited, or limited by the requirement of MCMC sampling. Both analytical and simulation results demonstrate that, if the channel noise is properly accounted for under suitable conditions, it can be fully repurposed for both MCMC sampling and privacy preservation, obtaining the same performance as in an ideal communication setting that is not subject to privacy constraints.


title: Importance of the many-body effects for structural properties of the novel iron oxide: Fe$_2$O

abstract: The importance of many-body effects on electronic and magnetic properties and stability of different structural phases was studied in novel iron oxide - Fe$_2$O. It was found that while Hubbard repulsion hardly affects the electronic spectrum of this material ($m^*/m \sim 1.2$), but it strongly changes its phase diagram shifting critical pressures of structural transitions to much lower values. Moreover, one of the previously obtained in the density functional theory (DFT) structures (P$\bar 3$m1) becomes energetically unstable if many-body effects are taken into consideration. It is shown that this is an account of magnetic moment fluctuations in the DFT+DMFT approach, which strongly contributes to modification of the phase diagram of Fe$_2$O.


title: Validating daily social media macroscopes of emotions

abstract: To study emotions at the macroscopic level, affective scientists have made extensive use of sentiment analysis on social media text. However, this approach can suffer from a series of methodological issues with respect to sampling biases and measurement error. To date, it has not been validated if social media sentiment can measure the day to day temporal dynamics of emotions aggregated at the macro level of a whole online community. We ran a large-scale survey at an online newspaper to gather daily self-reports of affective states from its users and compare these with aggregated results of sentiment analysis of user discussions on the same online platform. Additionally, we preregistered a replication of our study using Twitter text as a macroscope of emotions for the same community. For both platforms, we find strong correlations between text analysis results and levels of self-reported emotions, as well as between inter-day changes of both measurements. We further show that a combination of supervised and unsupervised text analysis methods is the most accurate approach to measure emotion aggregates. We illustrate the application of such social media macroscopes when studying the association between the number of new COVID-19 cases and emotions, showing that the strength of associations is comparable when using survey data as when using social media data. Our findings indicate that macro level dynamics of affective states of users of an online platform can be tracked with social media text, complementing surveys when self-reported data is not available or difficult to gather.


title: Triple-frequency meteor radar full wave scattering Measurements and comparison to theory

abstract: Context. Radar scattering from meteor trails depends on several poorly constrained quantities, such as electron line density, q, initial trail radius, r0, and ambipolar diffusion coefficient, D. Aims. The goal is to apply a numerical model of full wave backscatter to triple frequency echo measurements to validate theory and constrain estimates of electron radial distribution, initial trail radius, and the ambipolar diffusion coefficient. Methods. A selection of 50 transversely polarized and 50 parallel polarized echoes with complete trajectory information were identified from simultaneous tri-frequency echoes recorded by the Canadian Meteor Orbit Radar (CMOR). The amplitude-time profile of each echo was fit to our model using three different choices for the radial electron distribution assuming a Gaussian, parabolicexponential, and 1-by-r2 electron line density model. The observations were manually fit by varying, q, r0, and D per model until all three synthetic echo-amplitude profiles at each frequency matched observation. Results. The Gaussian radial electron distribution was the most successful at fitting echo power profiles, followed by the 1-by-r2. We were unable to fit any echoes using a profile where electron density varied from the trail axis as an exponential-parabolic distribution. While fewer than 5% of all examined echoes had self-consistent fits, the estimates of r0 and D as a function of height obtained were broadly similar to earlier studies, though with considerable scatter. Most meteor echoes are found to not be described well by the idealized full wave scattering model.


title: What Do Developers Discuss about Code Comments?

abstract: Code comments are important for program comprehension, development, and maintenance tasks. Given the varying standards for code comments, and their unstructured or semi-structured nature, developers get easily confused (especially novice developers) about which convention(s) to follow, or what tools to use while writing code documentation. Thus, they post related questions on external online sources to seek better commenting practices. In this paper, we analyze code comment discussions on online sources such as Stack Overflow (SO) and Quora to shed some light on the questions developers ask about commenting practices. We apply Latent Dirichlet Allocation (LDA) to identify emerging topics concerning code comments. Then we manually analyze a statistically significant sample set of posts to derive a taxonomy that provides an overview of the developer questions about commenting practices. Our results highlight that on SO nearly 40% of the questions mention how to write or process comments in documentation tools and environments, and nearly 20% of the questions are about potential limitations and possibilities of documentation tools to add automatically and consistently more information in comments. On the other hand, on Quora, developer questions focus more on background information (35% of the questions) or asking opinions (16% of the questions) about code comments. We found that (i) not all aspects of comments are covered in coding style guidelines, e.g., how to add a specific type of information, (ii) developers need support in learning the syntax and format conventions to add various types of information in comments, and (iii) developers are interested in various automated strategies for comments such as detection of bad comments, or verify comment style automatically, but lack tool support to do that.


title: Microscopic theory of photon-induced energy, momentum, and angular momentum transport in the nonequilibrium regime

abstract: We set up a general microscopic theory for the transfer of energy, momentum, and angular momentum mediated by photons. Using the nonequilibrium Green's function method, we propose a unified Meir-Wingreen formalism for the energy emitted, force experienced, and torque experienced by the objects due to the fluctuating electromagnetic field. Our theory does not require the local thermal equilibrium that is the central assumption of the conventional theory of fluctuational electrodynamics (FE). The obtained formulas are valid for arbitrary objects as well as the environment without the requirement of reciprocity. To show the capability of our microscopic theory, we apply the general formulas to transport problems of graphene edges in both equilibrium and nonequilibrium situations. We show the local equilibrium energy radiation of graphene obeys the well-known $T^4$ law with a converged theoretical emissivity of 2.058$\%$. In the ballistic nonequilibrium situation driven by chemical potential biases, we observe nonzero results for force and torque from the graphene edges, which go beyond the predictive ability of the FE theory. Our method is general and efficient for large systems, which paves the way for studying more complex transport phenomena in the nonequilibrium regime.


title: Strong and Weighted Matchings in Inhomogenous Random Graphs

abstract: We equip the edges of a deterministic graph $H$ with independent but not necessarily identically distributed weights and study a generalized version of matchings (i.e. a set of vertex disjoint edges) in $H$ satisfying the property that end-vertices of any two distinct edges are at least a minimum distance apart. We call such matchings as strong matchings and determine bounds on the expectation and variance of the minimum weight of a maximum strong matching. Next, we consider an inhomogenous random graph whose edge probabilities are not necessarily the same and determine bounds on the maximum size of a strong matching in terms of the averaged edge probability. We use local vertex neighbourhoods, the martingale difference method and iterative exploration techniques to obtain our desired estimates.


title: Approximate MDS Property of Linear Codes

abstract: In this paper, we study the weight spectrum of linear codes with \emph{super-linear} field size and use the probabilistic method to show that for nearly all such codes, the corresponding weight spectrum is very close to that of a maximum distance separable (MDS) code.


title: Size of local finite field Kakeya sets

abstract: Let $\mathbb{F}$ be a finite field consisting of $q$ elements and let $n \geq 1$ be an integer. In this paper, we study the size of local Kakeya sets with respect to subsets of $\mathbb{F}^{n}$ and obtain upper and lower bounds for the minimum size of a (local) Kakeya set with respect to an arbitrary set ${\mathcal T} \subseteq \mathbb{F}^{n}.$


title: Duality and Outermost Boundaries in Generalized Percolation Lattices

abstract: In this paper we consider a connected planar graph $G$ and impose conditions that results in $G$ having a percolation lattice-like cellular structure. Assigning each cell of $G$ to be either occupied or vacant, we describe the outermost boundaries of star and plus connected components in $G$. We then consider the dual graph of $G$ and impose conditions under which the dual is also a percolation lattice. Finally, using $G$ and its dual, we construct vacant cell cycles surrounding occupied components and study left right crossings and bond percolation in rectangles.


title: Spin coherence of near-surface ionised $^{125}$Te$^+$ donors in silicon

abstract: Impurity spins in crystal matrices are promising components in quantum technologies, particularly if they can maintain their spin properties when close to surfaces and material interfaces. Here, we investigate an attractive candidate for microwave-domain applications, the spins of group-VI Impurity spins in crystal matrices are promising components in quantum technologies, particularly if they can maintain their spin properties when close to surfaces and material interfaces. Here, we investigate an attractive candidate for microwave-domain applications, the spins of group-VI $^{125}$Te$^+$ donors implanted into natural Si at depths as shallow as 20~nm. We show that surface band-bending can be used to ionise such near-surface Te to spin-active Te$^+$ state, and that optical illumination can be used further to control the Te donor charge state. We examine spin activation yield, spin linewidth, relaxation ($T_1$) and coherence times (\ttwo) and show how a zero-field 3.5~GHz `clock transition' extends spin coherence times to over 1~ms, which is about an order of magnitude longer than other near-surface spin systems.


title: Characteristic interaction potential of black hole molecules from the microscopic interpretation of Ruppeiner geometry

abstract: Ruppeiner geometry has been found to be a novel promising approach to uncover the microstructure of fluid systems and black holes. In this work, combining with the micro model of the Van der Waals fluid, we shall propose a first microscopic interpretation for the empirical observation of Ruppeiner geometry. Then employing the microscopic interpretation, we disclose the potential microstructure for the anti-de Sitter black hole systems. Of particular interest, we obtain the microscopic interaction potentials for the underlying black hole molecules. This significantly strengthens the study towards to the black hole nature from the viewpoint of the thermodynamics.


title: On the equivalence of holding cost and response time for evaluating performance of queues

abstract: This self-contained discussion relates the long-run average holding cost per unit time to the long-run average response time per customer in a $G/G/1$ queue with no assumption made on the order of service. The only restriction established is that the system be ergodic. This is achieved using standard queuing theory. The practical relevance of such a result is discussed in the context of simulation output analysis as well as through an application to formulating a Markov Decision Process that minimises long-run average response time per customer.


title: Mechanical basis and topological routes to cell elimination

abstract: Cell layers eliminate unwanted cells through the extrusion process, which underlines healthy versus flawed tissue behaviors. Although several biochemical pathways have been identified, the underlying mechanical basis including the forces involved in cellular extrusion remain largely unexplored. Utilizing a phase-field model of a three-dimensional cell layer, we study the interplay of cell extrusion with cell-cell and cell-substrate interactions, in a flat monolayer. Independent tuning of cell-cell versus cell-substrate adhesion forces reveals that extrusion events can be distinctly linked to defects in nematic and hexatic orders associated with cellular arrangements. Specifically, we show that by increasing relative cell-cell adhesion forces the cell monolayer can switch between the collective tendency towards five-fold, hexatic, disclinations relative to half-integer, nematic, defects for extruding a cell. We unify our findings by accessing three-dimensional mechanical stress fields to show that an extrusion event acts as a mechanism to relieve localized stress concentration.


title: Passivity-based control for haptic teleoperation of a legged manipulator in presence of time-delays

abstract: When dealing with the haptic teleoperation of multi-limbed mobile manipulators, the problem of mitigating the destabilizing effects arising from the communication link between the haptic device and the remote robot has not been properly addressed. In this work, we propose a passive control architecture to haptically teleoperate a legged mobile manipulator, while remaining stable in the presence of time delays and frequency mismatches in the master and slave controllers. At the master side, a discrete-time energy modulation of the control input is proposed. At the slave side, passivity constraints are included in an optimization-based whole-body controller to satisfy the energy limitations. A hybrid teleoperation scheme allows the human operator to remotely operate the robot's end-effector while in stance mode, and its base velocity in locomotion mode. The resulting control architecture is demonstrated on a quadrupedal robot with an artificial delay added to the network.


title: Interfacial ferroelectricity in rhombohedral-stacked bilayer transition metal dichalcogenides

abstract: Van der Waals (vdW) materials have greatly expanded our design space of heterostructures by allowing individual layers to be stacked at non-equilibrium configurations, for example via control of the twist angle. Such heterostructures not only combine characteristics of the individual building blocks, but can also exhibit emergent physical properties absent in the parent compounds through interlayer interactions. Here we report on a new family of emergent, nanometer-thick, semiconductor 2D ferroelectrics, where the individual constituents are well-studied non-ferroelectric monolayer transition metal dichalcogenides (TMDs), namely WSe2, MoSe2, WS2, and MoS2. By stacking two identical monolayer TMDs in parallel, we obtain electrically switchable rhombohedral-stacking configurations, with out-of-plane polarization that is flipped by in-plane sliding motion. Fabricating nearly-parallel stacked bilayers enables the visualization of moir\'e ferroelectric domains as well as electric-field-induced domain wall motion with piezoelectric force microscopy (PFM). Furthermore, by using a nearby graphene electronic sensor in a ferroelectric field transistor geometry, we quantify the ferroelectric built-in interlayer potential, in good agreement with first-principles calculations. The novel semiconducting ferroelectric properties of these four new TMDs opens up the possibility of studying the interplay between ferroelectricity and their rich electric and optical properties.


title: New views of old proteins: clarifying the enigmatic proteome

abstract: All human diseases involve proteins, yet our current tools to characterize and quantify them are limited. To better elucidate proteins across space, time, and molecular composition, we provide provocative projections for technologies to meet the challenges that protein biology presents. With a broad perspective, we discuss grand opportunities to transition the science of proteomics into a more propulsive enterprise. Extrapolating recent trends, we offer potential futures for a next generation of disruptive approaches to define, quantify and visualize the multiple dimensions of the proteome, thereby transforming our understanding and interactions with human disease in the coming decade.


title: An Evaluation of RGB and LiDAR Fusion for Semantic Segmentation

abstract: LiDARs and cameras are the two main sensors that are planned to be included in many announced autonomous vehicles prototypes. Each of the two provides a unique form of data from a different perspective to the surrounding environment. In this paper, we explore and attempt to answer the question: is there an added benefit by fusing those two forms of data for the purpose of semantic segmentation within the context of autonomous driving? We also attempt to show at which level does said fusion prove to be the most useful. We evaluated our algorithms on the publicly available SemanticKITTI dataset. All fusion models show improvements over the base model, with the mid-level fusion showing the highest improvement of 2.7% in terms of mean Intersection over Union (mIoU) metric.


title: MVCNet: Multiview Contrastive Network for Unsupervised Representation Learning for 3D CT Lesions

abstract: \emph{Objective and Impact Statement}. With the renaissance of deep learning, automatic diagnostic systems for computed tomography (CT) have achieved many successful applications. However, they are mostly attributed to careful expert annotations, which are often scarce in practice. This drives our interest to the unsupervised representation learning. \emph{Introduction}. Recent studies have shown that self-supervised learning is an effective approach for learning representations, but most of them rely on the empirical design of transformations and pretext tasks. \emph{Methods}. To avoid the subjectivity associated with these methods, we propose the MVCNet, a novel unsupervised three dimensional (3D) representation learning method working in a transformation-free manner. We view each 3D lesion from different orientations to collect multiple two dimensional (2D) views. Then, an embedding function is learned by minimizing a contrastive loss so that the 2D views of the same 3D lesion are aggregated, and the 2D views of different lesions are separated. We evaluate the representations by training a simple classification head upon the embedding layer. \emph{Results}. Experimental results show that MVCNet achieves state-of-the-art accuracies on the LIDC-IDRI (89.55\%), LNDb (77.69\%) and TianChi (79.96\%) datasets for \emph{unsupervised representation learning}. When fine-tuned on 10\% of the labeled data, the accuracies are comparable to the supervised learning model (89.46\% vs. 85.03\%, 73.85\% vs. 73.44\%, 83.56\% vs. 83.34\% on the three datasets, respectively). \emph{Conclusion}. Results indicate the superiority of MVCNet in \emph{learning representations with limited annotations}.


title: Matched Runs Method to Study Extended Regions of Gamma-ray Emission

abstract: Imaging atmospheric Cherenkov telescopes, such as the Very Energetic Radiation Imaging Tele-scope Array System (VERITAS), are uniquely suited to resolve the detailed morphology ofextended regions of gamma-ray emission. However, standard VERITAS data analysis techniques have insufficient sensitivity to gamma-ray sources spanning the VERITAS field of view (3.5{\deg}),due to difficulties with background estimation. For analysis of such spatially extended sources with 0.5{\deg} to greater than 2{\deg} radius, we developed the Matched Runs Method. This method derives background estimations for observations of extended sources using matched separate observations of known point sources taken under similar observing conditions. Our technique has been validated by application to archival VERITAS data. Here we present a summary of the Matched RunsMethod and multiple validation studies on different gamma-ray sources using VERITAS data.


title: On the Complexity of Two-Party Differential Privacy

abstract: In distributed differential privacy, the parties perform analysis over their joint data while preserving the privacy for both datasets. Interestingly, for a few fundamental two-party functions such as inner product and Hamming distance, the accuracy of the distributed solution lags way behind what is achievable in the client-server setting. McGregor, Mironov, Pitassi, Reingold, Talwar, and Vadhan [FOCS '10] proved that this gap is inherent, showing upper bounds on the accuracy of (any) distributed solution for these functions. These limitations can be bypassed when settling for computational differential privacy, where the data is differentially private only in the eyes of a computationally bounded observer, using public-key cryptography primitives. We prove that the use of public-key cryptography is necessary for bypassing the limitation of McGregor et al., showing that a non-trivial solution for the inner-product, or the Hamming distance, implies the existence of a key-agreement protocol. Our bound implies a combinatorial proof for the fact that non-Boolean inner product of independent (strong) Santha-Vazirani sources is a good condenser. We obtain our main result by showing that the inner-product of a (single, strong) SV source with a uniformly random seed is a good condenser, even when the seed and source are dependent.


title: Search for new phenomena in $pp$ collisions in final states with tau leptons, $b$-jets, and missing transverse momentum with the ATLAS detector

abstract: A search for new phenomena in final states with hadronically decaying tau leptons, $b$-jets, and missing transverse momentum is presented. The analyzed dataset comprises $pp$~collision data at a center-of-mass energy of $\sqrt s = 13$ TeV with an integrated luminosity of 139/fb, delivered by the Large Hadron Collider and recorded with the ATLAS detector from 2015 to 2018. The observed data are compatible with the expected Standard Model background. The results are interpreted in simplified models for two different scenarios. The first model is based on supersymmetry and considers pair production of top squarks, each of which decays into a $b$-quark, a neutrino and a tau slepton. Each tau slepton in turn decays into a tau lepton and a nearly massless gravitino. Within this model, top-squark masses up to 1.4 TeV can be excluded at the 95% confidence level over a wide range of tau-slepton masses. The second model considers pair production of leptoquarks with decays into third-generation leptons and quarks. Depending on the branching fraction into charged leptons, leptoquarks with masses up to around 1.25 TeV can be excluded at the 95% confidence level for the case of scalar leptoquarks and up to 1.8 TeV (1.5 TeV) for vector leptoquarks in a Yang--Mills (minimal-coupling) scenario. In addition, model-independent upper limits are set on the cross section of processes beyond the Standard Model.


title: Random graphs embeddable in order-dependent surfaces

abstract: Given a `genus' function $g=g(n)$, we let $\mathcal{E}^g$ be the class of all graphs $G$ such that if $G$ has order $n$ (that is, has $n$ vertices) then it is embeddable in a surface of Euler genus at most $g(n)$. Let the random graph $R_n$ be sampled uniformly from the graphs in $\mathcal{E}^g$ on vertex set $[n]=\{1,\ldots,n\}$. Observe that if $g(n)$ is 0 then $R_n$ is a random planar graph, and if $g(n)$ is sufficiently large then $R_n$ is a binomial random graph $G(n,\tfrac12)$. We investigate typical properties of $R_n$. We find that for \emph{every} genus function $g$, with high probability at most one component of $R_n$ is non-planar. In contrast, we find a transition for example for connectivity: if $g$ is non-decreasing and $g(n) = O(n/\log n)$ then $\liminf_{n \to \infty} \mathbb{P}(R_n \mbox{ is connected}) < 1$, and if $g(n) \gg n$ then with high probability $R_n$ is connected. These results also hold when we consider orientable and non-orientable surfaces separately. We also investigate random graphs sampled uniformly from the `hereditary part' or the `minor-closed' part of $\mathcal{E}^g$, and briefly consider corresponding results for unlabelled graphs.


title: SURFNet: Super-resolution of Turbulent Flows with Transfer Learning using Small Datasets

abstract: Deep Learning (DL) algorithms are emerging as a key alternative to computationally expensive CFD simulations. However, state-of-the-art DL approaches require large and high-resolution training data to learn accurate models. The size and availability of such datasets are a major limitation for the development of next-generation data-driven surrogate models for turbulent flows. This paper introduces SURFNet, a transfer learning-based super-resolution flow network. SURFNet primarily trains the DL model on low-resolution datasets and transfer learns the model on a handful of high-resolution flow problems - accelerating the traditional numerical solver independent of the input size. We propose two approaches to transfer learning for the task of super-resolution, namely one-shot and incremental learning. Both approaches entail transfer learning on only one geometry to account for fine-grid flow fields requiring 15x less training data on high-resolution inputs compared to the tiny resolution (64x256) of the coarse model, significantly reducing the time for both data collection and training. We empirically evaluate SURFNet's performance by solving the Navier-Stokes equations in the turbulent regime on input resolutions up to 256x larger than the coarse model. On four test geometries and eight flow configurations unseen during training, we observe a consistent 2-2.1x speedup over the OpenFOAM physics solver independent of the test geometry and the resolution size (up to 2048x2048), demonstrating both resolution-invariance and generalization capabilities. Our approach addresses the challenge of reconstructing high-resolution solutions from coarse grid models trained using low-resolution inputs (super-resolution) without loss of accuracy and requiring limited computational resources.


title: Orthogonal Jacobian Regularization for Unsupervised Disentanglement in Image Generation

abstract: Unsupervised disentanglement learning is a crucial issue for understanding and exploiting deep generative models. Recently, SeFa tries to find latent disentangled directions by performing SVD on the first projection of a pre-trained GAN. However, it is only applied to the first layer and works in a post-processing way. Hessian Penalty minimizes the off-diagonal entries of the output's Hessian matrix to facilitate disentanglement, and can be applied to multi-layers.However, it constrains each entry of output independently, making it not sufficient in disentangling the latent directions (e.g., shape, size, rotation, etc.) of spatially correlated variations. In this paper, we propose a simple Orthogonal Jacobian Regularization (OroJaR) to encourage deep generative model to learn disentangled representations. It simply encourages the variation of output caused by perturbations on different latent dimensions to be orthogonal, and the Jacobian with respect to the input is calculated to represent this variation. We show that our OroJaR also encourages the output's Hessian matrix to be diagonal in an indirect manner. In contrast to the Hessian Penalty, our OroJaR constrains the output in a holistic way, making it very effective in disentangling latent dimensions corresponding to spatially correlated variations. Quantitative and qualitative experimental results show that our method is effective in disentangled and controllable image generation, and performs favorably against the state-of-the-art methods. Our code is available at https://github.com/csyxwei/OroJaR


title: Thirty years of Epistemic Specifications

abstract: The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it is possible to check whether a regular literal is true in every or some stable models of the program, those models, in this context also called \emph{belief sets}, being collected in a set called world view. This allows for representing, within the language, whether some proposition should be understood accordingly to the open or the closed world assumption. Several attempts for capturing the intuitions underlying the language by means of a formal semantics were given, resulting in a multitude of proposals that makes it difficult to understand the current state of the art. In this paper, we provide an overview of the inception of the field and the knowledge representation and reasoning tasks it is suitable for. We also provide a detailed analysis of properties of proposed semantics, and an outlook of challenges to be tackled by future research in the area. Under consideration in Theory and Practice of Logic Programming (TPLP)


title: ImitAL: Learning Active Learning Strategies from Synthetic Data

abstract: One of the biggest challenges that complicates applied supervised machine learning is the need for huge amounts of labeled data. Active Learning (AL) is a well-known standard method for efficiently obtaining labeled data by first labeling the samples that contain the most information based on a query strategy. Although many methods for query strategies have been proposed in the past, no clear superior method that works well in general for all domains has been found yet. Additionally, many strategies are computationally expensive which further hinders the widespread use of AL for large-scale annotation projects. We, therefore, propose ImitAL, a novel query strategy, which encodes AL as a learning-to-rank problem. For training the underlying neural network we chose Imitation Learning. The required demonstrative expert experience for training is generated from purely synthetic data. To show the general and superior applicability of \ImitAL{}, we perform an extensive evaluation comparing our strategy on 15 different datasets, from a wide range of domains, with 10 different state-of-the-art query strategies. We also show that our approach is more runtime performant than most other strategies, especially on very large datasets.


title: Implementation of Sprouts: a graph drawing game

abstract: Sprouts is a two-player pencil-and-paper game invented by John Conway and Michael Paterson in 1967. In the game, the players take turns in joining dots by curves according to simple rules, until one player cannot make a move. The game of Sprouts is very popular and simple-looking, so it may come as a surprise that there are essentially no AI Sprouts players available. This lack of computer opponents is caused by the fact that the game hides a surprisingly high combinatorial complexity and implementing it involves fascinating programming challenges. We overcome all the implementation barriers and create the first user-friendly Sprouts application with a strong artificial intelligence after more than 50 years of the existence of the game. In particular, we combine results from the theory of nimbers with new methods based on Delaunay triangulations and crossing-preserving force-directed algorithms to develop an AI Sprouts player which plays a perfect game on up to 11 spots.


title: Double phase implicit obstacle problems with convection and multivalued mixed boundary value conditions

abstract: In this paper we consider a mixed boundary value problem with a nonhomogeneous, nonlinear differential operator (called double phase operator), a nonlinear convection term (a reaction term depending on the gradient), three multivalued terms and an implicit obstacle constraint. Under very general assumptions on the data, we prove that the solution set of such implicit obstacle problem is nonempty (so there is at least one solution) and weakly compact. The proof of our main result uses the Kakutani-Ky Fan fixed point theorem for multivalued operators along with the theory of nonsmooth analysis and variational methods for pseudomonotone operators.


title: 0.8% Nyquist computational ghost imaging via non-experimental deep learning

abstract: We present a framework for computational ghost imaging based on deep learning and customized pink noise speckle patterns. The deep neural network in this work, which can learn the sensing model and enhance image reconstruction quality, is trained merely by simulation. To demonstrate the sub-Nyquist level in our work, the conventional computational ghost imaging results, reconstructed imaging results using white noise and pink noise via deep learning are compared under multiple sampling rates at different noise conditions. We show that the proposed scheme can provide high-quality images with a sampling rate of 0.8% even when the object is outside the training dataset, and it is robust to noisy environments. This method is excellent for various applications, particularly those that require a low sampling rate, fast reconstruction efficiency, or experience strong noise interference.


title: De Sitter entropy as holographic entanglement entropy

abstract: We review the results of refs. [1,2], in which the entanglement entropy in spaces with horizons, such as Rindler or de Sitter space, is computed using holography. This is achieved through an appropriate slicing of anti-de Sitter space and the implementation of a UV cutoff. When the entangling surface coincides with the horizon of the boundary metric, the entanglement entropy can be identified with the standard gravitational entropy of the space. For this to hold, the effective Newton's constant must be defined appropriately by absorbing the UV cutoff. Conversely, the UV cutoff can be expressed in terms of the effective Planck mass and the number of degrees of freedom of the dual theory. For de Sitter space, the entropy is equal to the Wald entropy for an effective action that includes the higher-curvature terms associated with the conformal anomaly. The entanglement entropy takes the expected form of the de Sitter entropy, including logarithmic corrections.


title: Rateless Codes for Low-Latency Distributed Inference in Mobile Edge Computing

abstract: We consider a mobile edge computing scenario where users want to perform a linear inference operation $\boldsymbol{W} \boldsymbol{x}$ on local data $\boldsymbol{x}$ for some network-side matrix $\boldsymbol{W}$. The inference is performed in a distributed fashion over multiple servers at the network edge. For this scenario, we propose a coding scheme that combines a rateless code to provide resiliency against straggling servers--hence reducing the computation latency--and an irregular-repetition code to provide spatial diversity--hence reducing the communication latency. We further derive a lower bound on the total latency--comprising computation latency, communication latency, and decoding latency. The proposed scheme performs remarkably close to the bound and yields significantly lower latency than the scheme based on maximum distance separable codes recently proposed by Zhang and Simeone.


title: Spectral enclosures for the damped elastic wave equation

abstract: In this paper we investigate spectral properties of the damped elastic wave equation. Deducing a correspondence between the eigenvalue problem of this model and the one of Lam\'e operators with non self-adjoint perturbations, we provide quantitative bounds on the location of the point spectrum in terms of suitable norms of the damping coefficient.


title: Generalizations of Lerch's formula by Barnes' multiple zeta functions

abstract: The classical Lerch's formula states the following normalized product: $$\prod_{n=0}^\infty(x+n)=\frac{\sqrt{2\pi}}{\Gamma(x)},\quad \textrm{Re}(x)>0, $$ where $\Gamma(x)$ is the Euler gamma function. In this note, by using Barnes' multiple zeta function and its alternating form, we obtain two kinds of generalizations of Lerch's formula, which imply the product $$ \prod_{n=1}^\infty n=\sqrt{2\pi} $$ (in the sense of zeta regularization) and the product $$\frac{2\cdot2}{1\cdot 3}\frac{4\cdot4}{3\cdot 5}\frac{6\cdot6}{5\cdot 7}\cdots=\frac{\pi}{2}$$ (Wallis' formula in 1656), respectively.


title: Search for the radiative $\Xi_b^-\to\Xi^-\gamma$ decay

abstract: The first search for the rare radiative decay $\Xi_b^- \to \Xi^- \gamma$ is performed using data collected by the LHCb experiment in proton-proton collisions at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The $\Xi_b- \to \Xi^- J/\psi$ channel is used as normalization. No $\Xi_b^- \to \Xi^- \gamma$ signal is found and an upper limit of $\mathcal{B}(\Xi_b^- \to \Xi^- \gamma) < 1.3 \times 10^{-4}$ at 95% confidence level is obtained.


title: If you like C/O variations, you should have put a ring on it

abstract: The C/O-ratio as traced with C$_2$H emission in protoplanetary disks is fundamental for constraining the formation mechanisms of exoplanets and our understanding of volatile depletion in disks, but current C$_2$H observations show an apparent bimodal distribution which is not well understood, indicating that the C/O distribution is not described by a simple radial dependence. The transport of icy pebbles has been suggested to alter the local elemental abundances in protoplanetary disks, through settling, drift and trapping in pressure bumps resulting in a depletion of volatiles in the surface and an increase of the elemental C/O. We combine all disks with spatially resolved ALMA C$_2$H observations with high-resolution continuum images and constraints on the CO snowline to determine if the C$_2$H emission is indeed related to the location of the icy pebbles. We report a possible correlation between the presence of a significant CO-icy dust reservoir and high C$_2$H emission, which is only found in disks with dust rings outside the CO snowline. In contrast, compact dust disks (without pressure bumps) and warm transition disks (with their dust ring inside the CO snowline) are not detected in C$_2$H, suggesting that such disks may never have contained a significant CO ice reservoir. This correlation provides evidence for the regulation of the C/O profile by the complex interplay of CO snowline and pressure bump locations in the disk. These results demonstrate the importance of including dust transport in chemical disk models, for a proper interpretation of exoplanet atmospheric compositions, and a better understanding of volatile depletion in disks, in particular the use of CO isotopologues to determine gas surface densities.


title: Counterexamples to the Colorful Tverberg Conjecture for Hyperplanes

abstract: In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions.


title: Global well-posedness for fractional Sobolev-Galpern type equations

abstract: This article is a comparative study on an initial-boundary value problem for a class of semilinear pseudo-parabolic equations with the fractional Caputo derivative, also called the fractional Sobolev-Galpern type equations. The purpose of this work is to reveal the influence of the degree of the source nonlinearity on the well-posedness of the solution. By considering four different types of nonlinearities, we derive the global well-posedness of mild solutions to the problem corresponding to the four cases of the nonlinear source terms. For the advection source function case, we apply a nontrivial limit technique for singular integral and some appropriate choices of weighted Banach space to prove the global existence result. For the gradient nonlinearity as a local Lipschitzian, we use the Cauchy sequence technique to show that the solution either exists globally in time or blows up at finite time. For the polynomial form nonlinearity, by assuming the smallness of the initial data we derive the global well-posed results. And for the case of exponential nonlinearity in two-dimensional space, we derive the global well-posedness by additionally use of Orlicz space.


title: Fully Convolutional Networks for Panoptic Segmentation with Point-based Supervision

abstract: In this paper, we present a conceptually simple, strong, and efficient framework for fully- and weakly-supervised panoptic segmentation, called Panoptic FCN. Our approach aims to represent and predict foreground things and background stuff in a unified fully convolutional pipeline, which can be optimized with point-based fully or weak supervision. In particular, Panoptic FCN encodes each object instance or stuff category with the proposed kernel generator and produces the prediction by convolving the high-resolution feature directly. With this approach, instance-aware and semantically consistent properties for things and stuff can be respectively satisfied in a simple generate-kernel-then-segment workflow. Without extra boxes for localization or instance separation, the proposed approach outperforms the previous box-based and -free models with high efficiency. Furthermore, we propose a new form of point-based annotation for weakly-supervised panoptic segmentation. It only needs several random points for both things and stuff, which dramatically reduces the annotation cost of human. The proposed Panoptic FCN is also proved to have much superior performance in this weakly-supervised setting, which achieves 82% of the fully-supervised performance with only 20 randomly annotated points per instance. Extensive experiments demonstrate the effectiveness and efficiency of Panoptic FCN on COCO, VOC 2012, Cityscapes, and Mapillary Vistas datasets. And it sets up a new leading benchmark for both fully- and weakly-supervised panoptic segmentation. Our code and models are made publicly available at https://github.com/dvlab-research/PanopticFCN.


title: Effective connections of $a_\mu$, Higgs physics, and the collider frontier

abstract: We consider scalar extensions of the SM and their effective field theoretic generalisations to illustrate the phenomenological connection between precision measurements of the anomalous magnetic moment of the muon $a_\mu$, precision Higgs measurements, and direct collider sensitivity. To this end, we consider charged BSM scalar sectors of the Zee-Babu type for which we develop a consistent, and complete dimensions-5 and -6 effective field theory extension. This enables us to track generic new physics effects that interact with the SM predominantly via radiative interactions. While the operator space is high dimensional, the intersection of exotics searches at the Large Hadron Collider, Higgs signal strength and anomalous muon magnetic measurements is manageably small. We find that consistency of LHC Higgs observations and $a_\mu$ requires a significant deformation of the new states' electroweak properties. Evidence in searches for doubly charged scalars as currently pursued by the LHC experiments can be used to further tension the BSMEFT parameter space and resolve blind directions in the EFT-extended Zee-Babu scenario.


title: Polar dust obscuration in broad-line active galaxies from the XMM-XXL field

abstract: Dust is observed in the polar regions of nearby AGN and it is known to contribute substantially to their mid-IR emission and to the obscuration of their UV to optical emission. We selected a sample of 1275 BLAGN in the XMM-XXL field, with optical to infrared photometric data. These AGN are seen along their polar direction and we expect a maximal impact of dust located around the poles when it is present. We used X-CIGALE, which introduces a dust component to account for obscuration along the polar directions, modeled as a foreground screen, and an extinction curve that is chosen as it steepens significantly at short wavelengths or is much grayer. By comparing the results of different fits, we are able to define subsamples of sources with positive statistical evidence in favor of or against polar obscuration and described using the gray or steep extinction curve. We find a similar fraction of sources with positive evidence for and against polar dust. Applying statistical corrections, we estimate that half of our sample could contain polar dust and among them, 60% exhibit a steep extinction curve and 40% a flat extinction curve; although these latter percentages are found to depend on the adopted extinction curves. The obscuration in the V-band is not found to correlate with the X-ray column density, while A_V/N_H ratios span a large range of values and higher dust temperatures are found with the flat, rather than with the steep extinction curve. Ignoring this polar dust component in the fit of the spectral energy distribution of these composite systems leads to an overestimation of the stellar contribution. A single fit with a polar dust component described with an SMC extinction curve efficiently overcomes this issue but it fails at identifying all the AGN with polar dust obscuration.


title: Visual Enhanced 3D Point Cloud Reconstruction from A Single Image

abstract: Solving the challenging problem of 3D object reconstruction from a single image appropriately gives existing technologies the ability to perform with a single monocular camera rather than requiring depth sensors. In recent years, thanks to the development of deep learning, 3D reconstruction of a single image has demonstrated impressive progress. Existing researches use Chamfer distance as a loss function to guide the training of the neural network. However, the Chamfer loss will give equal weights to all points inside the 3D point clouds. It tends to sacrifice fine-grained and thin structures to avoid incurring a high loss, which will lead to visually unsatisfactory results. This paper proposes a framework that can recover a detailed three-dimensional point cloud from a single image by focusing more on boundaries (edge and corner points). Experimental results demonstrate that the proposed method outperforms existing techniques significantly, both qualitatively and quantitatively, and has fewer training parameters.


title: Scaling Laws for Deep Learning

abstract: Running faster will only get you so far -- it is generally advisable to first understand where the roads lead, then get a car ... The renaissance of machine learning (ML) and deep learning (DL) over the last decade is accompanied by an unscalable computational cost, limiting its advancement and weighing on the field in practice. In this thesis we take a systematic approach to address the algorithmic and methodological limitations at the root of these costs. We first demonstrate that DL training and pruning are predictable and governed by scaling laws -- for state of the art models and tasks, spanning image classification and language modeling, as well as for state of the art model compression via iterative pruning. Predictability, via the establishment of these scaling laws, provides the path for principled design and trade-off reasoning, currently largely lacking in the field. We then continue to analyze the sources of the scaling laws, offering an approximation-theoretic view and showing through the exploration of a noiseless realizable case that DL is in fact dominated by error sources very far from the lower error limit. We conclude by building on the gained theoretical understanding of the scaling laws' origins. We present a conjectural path to eliminate one of the current dominant error sources -- through a data bandwidth limiting hypothesis and the introduction of Nyquist learners -- which can, in principle, reach the generalization error lower limit (e.g. 0 in the noiseless case), at finite dataset size.


title: Density analysis for estimating the degree of on-site correlation on transition-metal atoms in extended systems

abstract: In the context of the modified Becke-Johnson (mBJ) potential, we recently underlined that $\bar{g}$, the average of $\left\vert\nabla\rho\right\vert/\rho$ in the unit cell, has markedly different values in transition-metal oxides and pure transition metals [Tran et al., J. Appl. Phys. 126, 110902 (2019)]. However, since $\bar{g}$ is a constant it is not able to provide local information about a particular atom in the system. Furthermore, while $\overline{g}$ can be used only for periodic bulk solids, a local (i.e., position-dependent) version would allow us to consider also low-dimensional systems and interfaces. Such a local function has been proposed by Rauch et al. [J. Chem. Theory Comput. 16, 2654 (2020)] for the local mBJ potential. Actually, a local version of $\overline{g}$, or of another similar quantity like the reduced density gradient $\overline{s}$, could also be used in the framework of other methods. Here, we explored the idea to use such a local function $\tilde{g}$ (or $\tilde{s}$), defined as the average of $g$ (or $s$) over a certain region around a transition-metal atom, to estimate the degree of on-site correlation on this atom. We found a large difference in our correlation estimators between non-correlated and correlated materials, proving its usefulness and reliability. Our estimators can subsequently be used to determine whether or not a Hubbard $U$ on-site correction in the DFT+$U$ method should be applied to a particular atom. This is particularly interesting in cases where the degree of correlation of the transition-metal atoms is not clear, like interfaces between correlated and non-correlated materials or oxygen-covered metal surfaces. In such cases, our estimators could also be used for an interpolation of $U$ between correlated and non-correlated atoms.


title: Estimation of the lowest limit of 1/f noise in semiconductor materials

abstract: A lowest limit of 1/f noise in semiconductor materials has not yet been reported; we do not even know if such a lowest limit exists. 1/f noise in semiconductors has recently been brought into relation with 1/f noise in quantum dots and other materials. These materials exhibit on-off states which are power-law distributed over a wide range of timescales. We transfer such findings to semiconductors, assuming that the g-r process is also controlled by such on-off states. As a result, we obtain 1/f noise which can be expressed in the form of the Hooge relation. Based on the intermittent g-r process, we estimate the lowest limit of 1/f noise in semiconductor materials. We show that this limit is inversely proportional to the dopant concentration; to detect the lowest limit of 1/f noise, the number of centers should be as small as possible. We also find a smooth dependence of 1/f noise and g-r noise on time.


title: A multimodal sensor dataset for continuous stress detection of nurses in a hospital

abstract: Advances in wearable technologies provide the opportunity to monitor many physiological variables continuously. Stress detection has gained increased attention in recent years, mainly because early stress detection can help individuals better manage health to minimize the negative impacts of long-term stress exposure. This paper provides a unique stress detection dataset created in a natural working environment in a hospital. This dataset is a collection of biometric data of nurses during the COVID-19 outbreak. Studying stress in a work environment is complex due to many social, cultural, and psychological factors in dealing with stressful conditions. Therefore, we captured both the physiological data and associated context pertaining to the stress events. We monitored specifc physiological variables such as electrodermal activity, Heart Rate, and skin temperature of the nurse subjects. A periodic smartphone-administered survey also captured the contributing factors for the detected stress events. A database containing the signals, stress events, and survey responses is publicly available on Dryad.


title: A Machine Learning Based DSS in Predicting Undergraduate Freshmen Enrolment in a Philippine University

abstract: The sudden change in the landscape of Philippine education, including the implementation of K to 12 program, Higher Education institutions, have been struggling in attracting freshmen applicants coupled with difficulties in projecting incoming enrollees. Private HEIs Enrolment target directly impacts success factors of Higher Education Institutions. A review of the various characteristics of freshman applicants influencing their admission status at a Philippine university were included in this study. The dataset used was obtained from the Admissions Office of the University via an online form which was circulated to all prospective applicants. Using Logistic Regression, a predictive model was developed to determine the likelihood that an enrolled student would seek enrolment in the institution or not based on both students and institution's characteristics. The LR Model was used as the algorithm in the development of the Decision Support System. Weka was utilized on selection of features and building the LR model. The DSS was coded and designed using R Studio and R Shiny which includes data visualization and individual prediction.


title: Strichartz estimates for Maxwell equations in media: The partially anisotropic case

abstract: We prove Strichartz estimates for solutions to Maxwell equations in three dimensions with rough permittivities, which have less than three different eigenvalues. To this end, Maxwell equations are conjugated to half-wave equations in phase space. We use the Strichartz estimates in a known combination with energy estimates to show the new well-posedness results for quasilinear Maxwell equations.


title: An Extension of the Erd\H{o}s-Ko-Rado Theorem to uniform set partitions

abstract: A $(k,\ell)$-partition is a set partition which has $\ell$ blocks each of size $k$. Two uniform set partitions $P$ and $Q$ are said to be partially $t$-intersecting if there exist blocks $P_{i}$ in $P$ and $Q_{j}$ in $Q$ such that $\left| P_{i} \cap Q_{j} \right|\geq t$. In this paper we prove a version of the Erd\H{o}s-Ko-Rado theorem for partially $2$-intersecting $(k,\ell)$-partitions. In particular, we show for $\ell$ sufficiently large, the set of all $(k,\ell)$-partitions in which a block contains a fixed pair is the largest set of 2-partially intersecting $(k,\ell)$-partitions. For for $k=3$, we show this result holds for all $\ell$.


title: Demonstrating REACT: a Real-time Educational AI-powered Classroom Tool

abstract: We present a demonstration of REACT, a new Real-time Educational AI-powered Classroom Tool that employs EDM techniques for supporting the decision-making process of educators. REACT is a data-driven tool with a user-friendly graphical interface. It analyzes students' performance data and provides context-based alerts as well as recommendations to educators for course planning. Furthermore, it incorporates model-agnostic explanations for bringing explainability and interpretability in the process of decision making. This paper demonstrates a use case scenario of our proposed tool using a real-world dataset and presents the design of its architecture and user interface. This demonstration focuses on the agglomerative clustering of students based on their performance (i.e., incorrect responses and hints used) during an in-class activity. This formation of clusters of students with similar strengths and weaknesses may help educators to improve their course planning by identifying at-risk students, forming study groups, or encouraging tutoring between students of different strengths.


title: Quantization of multidimensional variational principles

abstract: We construct a mathematical version of quantum field theory. It assigns to a multidimensional variational principle an associative algebra which is a quantization of the Poisson algebra of classical field theory observables. For free scalar field and for the Dirichlet principle, this construction yields free algebraic quantum field theory and free field representation in two dimensional conformal field theory.


title: New model of 4D Einstein--Gauss--Bonnet gravity coupled with nonlinear electrodynamics

abstract: New spherically symmetric solution in 4D Einstein--Gauss--Bonnet gravity coupled with nonlinear electrodynamics is obtained. At infinity this solution has the Reissner--Nordstr\"{o}m behavior of the charged black hole. The black hole thermodynamics, entropy, shadow, energy emission rate and quasinormal modes of black holes are investigated.


title: Constant Bias and Weak Second Periodic Forcing : Tools to Mitigate Extreme Events

abstract: We propose two potentially viable non-feedback methods, namely (i) constant bias and (ii) weak second periodic forcing as tools to mitigate extreme events. We demonstrate the effectiveness of these two tools in suppressing extreme events in two well-known nonlinear dynamical systems, namely (i) Li\'enard system and (ii) a non-polynomial mechanical system with velocity dependent potential. As far as the constant bias is concerned, in the Li\'enard system, the suppression occurs due to the decrease in large amplitude oscillations and in the non-polynomial mechanical system the suppression occurs due to the destruction of chaos into a periodic orbit. As far as the second periodic forcing is concerned, in both the examples, extreme events get suppressed due to the increase in large amplitude oscillations. We also demonstrate that by introducing a phase in the second periodic forcing one can decrease the probability of occurrence of extreme events even further in the non-polynomial system. To provide a support to the complete suppression of extreme events, we present the two parameter probability plot for all the cases. In addition to the above, we examine the feasibility of the aforementioned tools in a parametrically driven version of the non-polynomial mechanical system. Finally, we investigate how these two methods influence the multistability nature in the Li\'enard system.


title: On the quantity $I(q^k) + I(n^2)$ where $q^k n^2$ is an odd perfect number -- Part II

abstract: In this note, we continue an approach pursued in an earlier paper of the second author and thereby attempt to produce an improved lower bound for the sum $I(q^k) + I(n^2)$, where $q^k n^2$ is an odd perfect number with special prime $q$ and $I(x)$ is the abundancy index of the positive integer $x$. In particular, this yields an upper bound for $k$.


title: An Experimental Urban Case Study with Various Data Sources and a Model for Traffic Estimation

abstract: Accurate estimation of the traffic state over a network is essential since it is the starting point for designing and implementing any traffic management strategy. Hence, traffic operators and users of a transportation network can make reliable decisions such as influence/change route or mode choice. However, the problem of traffic state estimation from various sensors within an urban environment is very complex for several different reasons, such as availability of sensors, different noise levels, different output quantities, sensor accuracy, heterogeneous data fusion, and many more. To provide a better understanding of this problem, we organized an experimental campaign with video measurement in an area within the urban network of Zurich, Switzerland. We focus on capturing the traffic state in terms of traffic flow and travel times by ensuring measurements from established thermal cameras by the city's authorities, processed video data, and the Google Distance Matrix. We assess the different data sources, and we propose a simple yet efficient Multiple Linear Regression (MLR) model to estimate travel times with fusion of various data sources. Comparative results with ground-truth data (derived from video measurements) show the efficiency and robustness of the proposed methodology.


title: Digital Divide: Mapping the geodemographics of internet accessibility across Great Britain

abstract: Aim: This research proposes the first solely sociodemographic measure of digital accessibility for Great Britain. Digital inaccessibility affects circa 10 million people who are unable to access or make full use of the internet, particularly impacting the disadvantaged in society. Method: A geodemographic classification is developed, analysing literature-guided sociodemographic variables at the district level. Analysis: Resultant clusters are analysed against their sociodemographic variables and spatial extent. Findings suggest three at-risk clusters exist, "Metropolitan Minority Struggle", "Indian Metropolitan Living" and "Pakistani-Bangladeshi Inequality". These are validated through nationwide Ofcom telecommunications performance data and specific case studies using Office for National Statistics internet usage data. Conclusion: Using solely contemporary and open-source sociodemographic variables, this paper enhances previous digital accessibility research. The identification of digitally inaccessible areas allows focussed local and national government resource and policy targeting, particularly important as a key data source and methodology post-2021, following the expected final nationwide census.


title: In Oxford Handbook on AI Governance: The Role of Workers in AI Ethics and Governance

abstract: While the role of states, corporations, and international organizations in AI governance has been extensively theorized, the role of workers has received comparatively little attention. This chapter looks at the role that workers play in identifying and mitigating harms from AI technologies. Harms are the causally assessed impacts of technologies. They arise despite technical reliability and are not a result of technical negligence but rather of normative uncertainty around questions of safety and fairness in complex social systems. There is high consensus in the AI ethics community on the benefits of reducing harms but less consensus on mechanisms for determining or addressing harms. This lack of consensus has resulted in a number of collective actions by workers protesting how harms are identified and addressed in their workplace. We theorize the role of workers within AI governance and construct a model of harm reporting processes in AI workplaces. The harm reporting process involves three steps, identification, the governance decision, and the response. Workers draw upon three types of claims to argue for jurisdiction over questions of AI governance, subjection, control over the product of labor, and proximate knowledge of systems. Examining the past decade of AI related worker activism allows us to understand how different types of workers are positioned within a workplace that produces AI systems, how their position informs their claims, and the place of collective action in staking their claims. This chapter argues that workers occupy a unique role in identifying and mitigating harms caused by AI systems.


title: Demystifying the nonlocality problem in Aharonov-Bohm effect

abstract: In this paper, we present a novel semi-classical theory of the electrostatic and magnetostatic fields and explain the nonlocality problem in the context of the Aharonov-Bohm effect [1]. Specifically, we show that the electrostatic and the magnetostatic fields possess a quantum nature that manifests if certain conditions are met. In particular, the wave amplitudes of the fields are seen to exist even in the regions where the classical fields vanish and they operate on the electron wave functions locally as unitary phases. This formulation also sheds light on the quantisation of electric charges and magnetic flux.


title: The double copy of the multipole expansion

abstract: We consider the classical double copy, that relates solutions of biadjoint scalar, gauge and gravity theories. Using a recently developed twistor expression of this idea, we use well-established techniques to show that the multipole moments of arbitrary vacuum type D gravity fields are straightforwardly mapped to their counterparts in gauge and biadjoint scalar theory by the single and zeroth copies. We cross-check our results using previously obtained results for the Kerr metric. Our results provide further physical intuition of how the double copy operates.


title: Powers of graphs & applications to resolutions of powers of monomial ideals

abstract: This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of square-free monomial ideals of projective dimension one, by introducing a combinatorial construction of a family of (cubical) cell complexes whose 1-skeletons are powers of a graph that supports the resolution of the ideal.


title: Spectral energy density in an axisymmetric galaxy as predicted by an analytical model for the Maxwell field

abstract: An analytical model for the Maxwell radiation field in an axisymmetric galaxy, proposed previously, is first checked for its predictions of the spatial variation of the spectral energy distributions (SEDs) in our Galaxy. First, the model is summarized. It is now shown how to compute the SED with this model. Then the model is adjusted by asking that the SED predicted at our local position in the Galaxy coincide with the available observations. Finally the first predictions of the model for the spatial variation of the SED in the Galaxy are compared with those of a radiation transfer model. We find that the two predictions do not differ too much. This indicates that, in a future work, it should be possible with the present model to check if the "interaction energy" predicted by an alternative, scalar theory of gravitation, contributes to the dark matter. Keywords: Disk galaxy; interstellar radiation field; axial symmetry; electromagnetic field; Milky Way.


title: Expansion Formula For the Magnetic Field of a Periodically Deformed Circular Current Loop

abstract: A method is derived to obtain an expansion formula for the magnetic field $\boldsymbol{B}(\boldsymbol{r})$ generated by a closed planar wire carrying a steady electric current. The parametric equation of the loop is $\mathcal{R}(\phi)=R+Hf(\phi)$, with $R$ the radius of the circle, $H \in [0,R)$ the radial deformation amplitude, and $f(\phi)\in[-1,1]$ a periodic function. The method is based on the replacement of the $1/|\boldsymbol{r} - \boldsymbol{r}'|^3$ factor by an infinite series in terms of Gegenbauer polynomials, as well as the use of the Taylor series. This approach makes it feasible to write $\boldsymbol{B}(\boldsymbol{r})$ as the circular loop magnetic field contribution plus a sum of powers of $H/R$. Analytic formulas for the magnetic field are obtained from truncated finite expansions outside the neighborhood of the wire. These showed to be computationally less expensive than numerical integration in regions where the dipole approximation is not enough to describe the field properly. Illustrative examples of the magnetic field due to circular wires deformed harmonically are developed in the article, obtaining exact expansion coefficients and accurate descriptions. Error estimates are calculated to identify the regions in $\mathbb{R}^3$ where the analytical expansions perform well. Finally, first-order deformation formulas for the magnetic field are studied for generic even deformation functions $f(\phi)$. Keywords: Magnetic Field, Gegenbauer Polynomials, Arbitrary current loop, Biot-Savart law.


title: Sentiment Analysis on the News to Improve Mental Health

abstract: The popularization of the internet created a revitalized digital media. With monetization driven by clicks, journalists have reprioritized their content for the highly competitive atmosphere of online news. The resulting negativity bias is harmful and can lead to anxiety and mood disturbance. We utilized a pipeline of 4 sentiment analysis models trained on various datasets - using Sequential, LSTM, BERT, and SVM models. When combined, the application, a mobile app, solely displays uplifting and inspiring stories for users to read. Results have been successful - 1,300 users rate the app at 4.9 stars, and 85% report improved mental health by using it.


title: On Incorrectness Logic and Kleene Algebra with Top and Tests

abstract: Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen proved that KAT subsumes propositional Hoare logic, showing that one can reason about the (partial) correctness of while programs by means of the equational theory of KAT. In this work, we investigate the support that KAT provides for reasoning about incorrectness, instead, as embodied by Ohearn's recently proposed incorrectness logic. We show that KAT cannot directly express incorrectness logic. The main reason for this limitation can be traced to the fact that KAT cannot express explicitly the notion of codomain, which is essential to express incorrectness triples. To address this issue, we study Kleene Algebra with Top and Tests (TopKAT), an extension of KAT with a top element. We show that TopKAT is powerful enough to express a codomain operation, to express incorrectness triples, and to prove all the rules of incorrectness logic sound. This shows that one can reason about the incorrectness of while-like programs by means of the equational theory of TopKAT.


title: A Game Interface to Study Semantic Grounding in Text-Based Models

abstract: Can language models learn grounded representations from text distribution alone? This question is both central and recurrent in natural language processing; authors generally agree that grounding requires more than textual distribution. We propose to experimentally test this claim: if any two words have different meanings and yet cannot be distinguished from distribution alone, then grounding is out of the reach of text-based models. To that end, we present early work on an online game for the collection of human judgments on the distributional similarity of word pairs in five languages. We further report early results of our data collection campaign.


title: The application of adaptive minimum match k-nearest neighbors to identify at-risk students in health professions education

abstract: Purpose: When a learner fails to reach a milestone, educators often wonder if there had been any warning signs that could have allowed them to intervene sooner. Machine learning can predict which students are at risk of failing a high-stakes certification exam. If predictions can be made well in advance of the exam, then educators can meaningfully intervene before students take the exam to reduce the chances of a failing score. Methods: Using already-collected, first-year student assessment data from five cohorts in a Master of Physician Assistant Studies program, the authors implement an "adaptive minimum match" version of the k-nearest neighbors algorithm (AMMKNN), using changing numbers of neighbors to predict each student's future exam scores on the Physician Assistant National Certifying Examination (PANCE). Validation occurred in two ways: Leave-one-out cross-validation (LOOCV) and evaluating the predictions in a new cohort. Results: AMMKNN achieved an accuracy of 93% in LOOCV. AMMKNN generates a predicted PANCE score for each student, one year before they are scheduled to take the exam. Students can then be classified into extra support, optional extra support, or no extra support groups. The educator then has one year to provide the appropriate customized support to each category of student. Conclusions: Predictive analytics can identify at-risk students, so they can receive additional support or remediation when preparing for high-stakes certification exams. Educators can use the included methods and code to generate predicted test outcomes for students. The authors recommend that educators use this or similar predictive methods responsibly and transparently, as one of many tools used to support students.


title: Multi-level loop equations for $\beta$-corners processes

abstract: The goal of the paper is to introduce a new set of tools for the study of discrete and continuous $\beta$-corners processes. In the continuous setting, our work provides a multi-level extension of the loop equations (also called Schwinger-Dyson equations) for $\beta$-log gases obtained by Borot and Guionnet in (Commun. Math. Phys. 317, 447-483, 2013). In the discrete setting, our work provides a multi-level extension of the loop equations (also called Nekrasov equations) for discrete $\beta$-ensembles obtained by Borodin, Gorin and Guionnet in (Publications math{\' e}matiques de l'IH{\' E}S 125, 1-78, 2017).


title: Explainability Auditing for Intelligent Systems: A Rationale for Multi-Disciplinary Perspectives

abstract: National and international guidelines for trustworthy artificial intelligence (AI) consider explainability to be a central facet of trustworthy systems. This paper outlines a multi-disciplinary rationale for explainability auditing. Specifically, we propose that explainability auditing can ensure the quality of explainability of systems in applied contexts and can be the basis for certification as a means to communicate whether systems meet certain explainability standards and requirements. Moreover, we emphasize that explainability auditing needs to take a multi-disciplinary perspective, and we provide an overview of four perspectives (technical, psychological, ethical, legal) and their respective benefits with respect to explainability auditing.


title: Persistent order in Schramm-Loewner Evolution driven by the primes last digit sequence

abstract: We report on a peculiar effect regarding the use of the prime's last digit sequence which is equivalent to a quaternary symbolic sequence. This was used as a driving sequence for the recently introduced Schramm-Loewner Evolution after using two different classes of possible binary encodings. We report on a clear deviation from the standard space-filling curves normally expected from such a process. We also contrast this behavior with others produced via a symbolic dynamics applied on standard noise sources as well as deterministic sequences produced by simple automata. Our findings include the well known, Morse-Thue sequence as the simplest model exhibiting such behavior apart from some strongly biased Levy walks.


title: Embedding Euclidean Distance Graphs in $\mathbb{R}^n$ and $\mathbb{Q}^n$

abstract: For $S \subseteq \mathbb{R}$, positive integer $n$, and $d > 0$, let $G(S^n, d)$ be the graph whose vertex set is $S^n$ where any two vertices are adjacent if and only if they are Euclidean distance $d$ apart. The primary question we will consider in our work is as follows. Given $n$ and distance $d$ actually realized as a distance between points of the rational space $\mathbb{Q}^n$, does there exist a finite graph $G$ that appears as a subgraph of $G(\mathbb{Q}^n, d)$ but not as a subgraph of $G(\mathbb{R}^{n-1}, 1)$? We answer this question affirmatively for $n \leq 5$, and along the way, resolve a few related questions as well.


title: Harnessing value from data science in business: ensuring explainability and fairness of solutions

abstract: The paper introduces concepts of fairness and explainability (XAI) in artificial intelligence, oriented to solve a sophisticated business problems. For fairness, the authors discuss the bias-inducing specifics, as well as relevant mitigation methods, concluding with a set of recipes for introducing fairness in data-driven organizations. Additionally, for XAI, the authors audit specific algorithms paired with demonstrational business use-cases, discuss a plethora of techniques of explanations quality quantification and provide an overview of future research avenues.


title: Sticky particle Cucker-Smale dynamics and the entropic selection principle for the 1D Euler-alignment system

abstract: We develop a global wellposedness theory for weak solutions to the 1D Euler-alignment system with measure-valued density, bounded velocity, and locally integrable communication protocol. A satisfactory understanding of the low-regularity theory is an issue of pressing interest, as smooth solutions may lose regularity in finite time. However, no such theory currently exists except for a very special class of alignment interactions. We show that the dynamics of the 1D Euler-alignment system can be effectively described by a nonlocal scalar balance law, the entropy conditions of which serves as an entropic selection principle that determines a unique weak solution of the Euler-alignment system. Moreover, the distinguished weak solution of the system can be approximated by the sticky particle Cucker--Smale dynamics. Our approach is inspired by the work of Brenier and Grenier [SIAM J. Numer. Anal, 35(6):2317-2328, 1998] on the pressureless Euler equations.


title: An empirical representation of a physical model for the ISM [CII], CO, and [CI] emission at redshift $1\leq z\leq9$

abstract: Sub-millimeter emission lines produced by the interstellar medium (ISM) are strong tracers of star formation and are some of the main targets of line intensity mapping (LIM) surveys. In this work we present an empirical multi-line emission model that simultaneously covers the mean, scatter, and correlations of [CII], CO J=1-0 to J=5-4, and [CI] lines in redshift range $1\leq z\leq9$. We assume the galaxy ISM line emission luminosity versus halo mass relations can be described by double power laws with redshift-dependent log normal scatter. The model parameters are then derived by fitting to the state of the art semi-analytic simulation results that have successfully reproduced multiple sub-millimeter line observations at $0\leq z\lesssim6$. We cross check the line emission statistics predicted by the semi-analytic simulation and our empirical model, finding that at $z\geq1$ our model reproduces the simulated line intensities with fractional error less than about 10%. The fractional difference is less than 25% for the power spectra. Grounded on physically-motivated and self-consistent galaxy simulations, this computationally efficient model will be helpful in forecasting ISM emission line statistics for upcoming LIM surveys.


title: Prediction of Students performance with Artificial Neural Network using Demographic Traits

abstract: Many researchers have studied student academic performance in supervised and unsupervised learning using numerous data mining techniques. Neural networks often need a greater collection of observations to achieve enough predictive ability. Due to the increase in the rate of poor graduates, it is necessary to design a system that helps to reduce this menace as well as reduce the incidence of students having to repeat due to poor performance or having to drop out of school altogether in the middle of the pursuit of their career. It is therefore necessary to study each one as well as their advantages and disadvantages, so as to determine which is more efficient in and in what case one should be preferred over the other. The study aims to develop a system to predict student performance with Artificial Neutral Network using the student demographic traits so as to assist the university in selecting candidates (students) with a high prediction of success for admission using previous academic records of students granted admissions which will eventually lead to quality graduates of the institution. The model was developed based on certain selected variables as the input. It achieved an accuracy of over 92.3 percent, showing Artificial Neural Network potential effectiveness as a predictive tool and a selection criterion for candidates seeking admission to a university.


title: A new form of the Machin-like formula for pi by iteration with increasing integers

abstract: We present a new form of the Machin-like formula for $\pi$ that can be generated by using iteration. This form of the Machin-like formula may be promising for computation of the constant $\pi$ due to rapidly increasing integers at each step of the iteration. The computational test we performed shows that, with an integer $k \ge 17$, the Lehmer measure remains small and practically does not increase after $18$ steps of iteration.


title: A Classical Analogue to the Standard Model, Chapter 2: Colour interactions and fermions from scalar fields on $\mathbb{C}^{\wedge 6}$

abstract: This paper continues the study of quasiparticles on complex manifolds with anticommuting co-ordinates, and shows that on increasing the dimensionality of the complex manifold from $\mathbb{C}^{\wedge 2}$ to $\mathbb{C}^{\wedge 6}$, the dimension-$L^{-1/2}$ spinor excitations in the associated effective field theory on $\mathbb{R}^{1,3}$ acquire an $\mathrm{SU}(3)$ colour charge and assemble into composite spinors of dimension $L^{-3/2}$. This model provides a novel environment in which to study colour confinement, while also demonstrating the ability of the first member of the $\mathbb{C}^{\wedge 6\mathfrak{n}}$ series to support fermions having spin and dimensions consistent with the Standard Model.


title: On the shortest addition chain of numbers of special forms and progress on Scholz conjecture

abstract: In this paper we study the shortest addition chains of numbers of special forms. We obtain the crude inequality $$\iota(2^n-1)\leq n+1+G(n)$$ for some function $G:\mathbb{N}\longrightarrow \mathbb{N}$. In particular we obtain the weaker inequality $$\iota(2^n-1)\leq n+1+\left \lfloor \frac{n-2}{2}\right \rfloor$$ where $\iota(n)$ is the length of the shortest addition chain producing $n$. Additionally, we prove an inequality relating the length of addition chains producing number of the form $2^n-1$ to the length of their shortest addition chain producing their exponents. In particular, we obtain the inequality $$\delta(2^n-1)\leq n-1+\iota(n)+G(n)$$ where $\delta(n)$ and $\iota(n)$ denotes the length of an addition chain and the shortest addition chain producing $n$, respectively, with $K:\mathbb{N}\longrightarrow \mathbb{R}$. We also obtain a more explicit improved upper bound in the form $$\delta(2^n-1)\lesssim n+\iota(n)+\frac{n}{\log n}+1.3\log n\int \limits_{2}^{\frac{n-1}{2}}\frac{dt}{\log^3t}+\xi(n)$$ where $\xi:\mathbb{N}\longrightarrow \mathbb{R}$. As a consequence, we obtain the inequality $$\iota(2^n-1)\lesssim n+\iota(n)+\frac{n}{\log n}+1.3\log n\int \limits_{2}^{\frac{n-1}{2}}\frac{dt}{\log^3t}+\xi(n).$$ By using a slightly improved iteration method and the "pothole" method on the factors of numbers of the form $2^n-1$, we prove the stronger inequality $$\iota(2^n-1)\leq n+1-\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\xi(n,j)+3\lfloor\frac{\log n}{\log 2}\rfloor$$ for all $n\in \mathbb{N}$ with $n\geq 64$ for $0\leq \xi(n,j)<1$, where $\iota(\cdot)$ denotes the length of the shortest addition chain producing $\cdot$. This inequality is stronger than $$\iota(r)<\frac{\log r}{\log 2}(1+\frac{1}{\log \log r}+\frac{2\log 2}{(\log r)^{1-\log 2}})$$ in the case $r=2^n-1$ but slightly weaker than the conjectured inequality $$\iota(2^n-1)\leq n-1+\iota(n).$$


title: From social netizens to data citizens: variations of GDPR awareness in 28 European countries

abstract: We studied variability in General Data Protection Regulation (GDPR) awareness in relation to digital experience in the 28 European countries of EU27-UK, through secondary analysis of the Eurobarometer 91.2 survey conducted in March 2019 (N = 27,524). Education, occupation, and age were the strongest sociodemographic predictors of GDPR awareness, with little influence of gender, subjective economic well-being, or locality size. Digital experience was significantly and positively correlated with GDPR awareness in a linear model, but this relationship proved to be more complex when we examined it through a typological analysis. Using an exploratory k-means cluster analysis we identified four clusters of digital citizenship, across both dimensions of digital experience and GDPR awareness: the off-line citizens (22%), the social netizens (32%), the web citizens (17%), and the data citizens (29%). The off-line citizens ranked lowest in internet use and GDPR awareness; the web citizens ranked at about average values, while the data citizens ranked highest in both digital experience and GDPR knowledge and use. The fourth identified cluster, the social netizens, had a discordant profile, with remarkably high social network use, below average online shopping experiences, and low GDPR awareness. Digitalization in human capital and general internet use is a strong country-level correlate of the national frequency of the data citizen type. Our results confirm previous studies of the low privacy awareness and skills associated with intense social media consumption, but we found that young generations are evenly divided between the rather carefree social netizens and the strongly invested data citizens.


title: Converting electrons into emergent fermions at a superconductor-Kitaev spin liquid interface

abstract: We study an interface between a Kitaev spin liquid (KSL) in the chiral phase and a non-chiral superconductor. When the coupling across the interface is sufficiently strong, the interface undergoes a transition into a phase characterized by a condensation of a bound state of a Bogoliubov quasiparticle in the superconductor and an emergent fermionic excitation in the spin liquid. In the condensed phase, electrons in the superconductor can coherently convert into emergent fermions in the spin liquid and vice versa. As a result, the chiral Majorana edge mode of the spin liquid becomes visible in the electronic local density of states at the interface, which can be measured in scanning tunneling spectroscopy experiments. We demonstrate the existence of this phase transition, and the non-local order parameter that characterizes it, using density matrix renormalization group simulations of a KSL strip coupled at its edge to a superconductor. An analogous phase transition can occur in a simpler system composed of a one-dimensional spin chain with a spin-flip $\mathbb{Z}_2$ symmetry coupled to a superconductor.


title: Arithmetic properties of some permanents

abstract: In this paper we study arithmetic properties of some permanents, many of which involve trigonometric functions. For any primitive $n$-th root $\zeta$ of unity, we obtain closed formulas for the permanents $$\mathrm{per}\left[1-\zeta^jx_k\right]_{1\le j,k\le n}\ \ \text{and}\ \ \mathrm{per}\left[\frac1{1-\zeta^{j-k}x}\right]_{1\le j,k\le n}.$$ Another typical result states that for any odd integer $n>1$ we have $$t_n:=\frac1{\sqrt n}\mathrm{per}\left[\tan\pi\frac{jk}n\right]_{1\le j,k\le (n-1)/2}\in\mathbb Z,$$ and that $t_p\equiv(-1)^{(p+1)/2}\pmod p$ for any odd prime $p$. We also pose several conjectures for further research; for example, we conjecture that $$\mathrm{per}[|j-k|]_{1\le j,k\le p}\equiv-\frac12\pmod p$$ for any odd prime $p$.


title: Orlicz hormonic Blaschke addition

abstract: Recently, Gardner, Hug and Weil have introduced the Orlicz-Brunn-Minkowski theory: a general framework, additions, and inequalities. Following this, in the paper we consider Orlicz dual Brunn-Minkowski theory. We introduce Orlicz hormonic Blaschke addition which is an extension of the Lp hormonic Blaschke addition and L p radial Minkowski addition, respectively. Inequalities of dual Minkowski and Brunn-Minkowski type are obtained for the Orlicz hormonic Blaschke addition. The new Orlicz dual Brunn-Minkowski inequality implies the dual and L p -dual Brunn-Minkowski inequalities, respectively. New Orlicz dual Minkowski inequality implies the L p -dual Minkowski inequality. One of these has connections with the conjectured log-Brunn-Minkowski inequality of Lutwak, Yang, and Zhang, and in fact we show a log dual Minkowski inequality. Finally, we introduce the concept of Orlicz dual projection body and an inequality similar to Orlicz projection body is established.


title: Bulging Triangles: Generalization of Reuleaux Triangles

abstract: We introduce a bulging triangle like the generalization of the Reuleaux triangle. We may be able to propose various ways to bulge a triangle, but this paper presents the way so that its vertices are the same as them of the original triangle. We find some properties and theorems of our bulging triangles. In particular, we investigate, via calculus, whether basic facts such as triangle inequalities and Pythagorean theorem hold for bulging triangles.


title: Prospects And Challenges In Digitization: The Case Study Of Federal Parliament Of Nepal

abstract: Digitization means the use of digital technology to modify a business model to create new possibilities for sales to value creation. The main purpose of the study is to identify the effects of digitization in the federal parliament of Nepal. The performance of the parliament, secretariat, parliamentarians as well as employees working procedure should be fully digitalized based different prescribed different modules. Quantitative and quantitative method were followed. This research included a series of well-structured questionnaires, mainly directed at MPs and employees, and structured interviews with key persons of the organizations. The raw data were processed and analyzed by SPSS. Cochran's Q test, Chi-Square test and Friedman tests were applied to show the present status and need of digitization tools in Federal Parliament of Nepal. The system becomes automated, interlinked, based on the database and there should be a mutual understanding among committees on different issues. The overall activities of parliament, committees, and its secretariats records are managed systematically through tailored software. We would also intend to discuss the limits on the usage of different tools and recommendations for parliamentary application. The holistic framework is a digital framework for FPN. This will be helpful for a digitized workplace. The FPN will start the new era of digital transformation. Keywords - Federal Parliament, Digitalization, Secretariat, Parliamentarian, Legislature, Information, and Communication Technology


title: A topological approach for emerging D-branes and its implications for gravity

abstract: We introduce a new geometric/topological approach to the emerging braneworld scenario in the context of D-branes using partially negative dimensional product (PNDP) manifolds. The working hypothesis is based on the fact that the orientability of PNDP manifolds can be arbitrary, and starting from this, we propose that gravitational interaction can derive naturally from the non-orientability. According to this hypothesis, we show that topological defects can emerge from non-orientability and they can be identified as gravitational interaction at macroscopic level. In other words, the orientability of fundamental PNDPs can be related to the appearance of curvature at low energy scales.


title: Predictive Theory of Neutrino Masses

abstract: In our recent paper [1] we formulated a predictive theory of neutrino masses by considering the interaction between the infrared sector of the effective theory of quantum gravity and the standard model fields. This allowed us to calculate, for the first time in the history of neutrino physics, the absolute scale of neutrino masses. From this theoretical framework, we obtained quantum-gravitational couplings/effective Majorana dimensionless couplings from the spherically symmetric vacuum solutions arising from the Bose-Einstein statistical modification to gravitation. In the present paper, we show that the same solutions can be obtained directly from the quantum interpretation of gravitational radiation arising from the thermodynamic modification to gravitation. Within this theoretical scheme, we show that the single-field inflationary model, GUTs, dark energy and matter-independent gravitational field of vacuum are all connected to the neutrino mass model.