title: SAT-Based Quantum Circuit Adaptation

abstract: As the nascent field of quantum computing develops, an increasing number of quantum hardware modalities, such as superconducting electronic circuits, semiconducting spins, trapped ions, and neutral atoms, have become available for performing quantum computations. These quantum hardware modalities exhibit varying characteristics and implement different universal quantum gate sets that may e.g. contain several distinct two-qubit quantum gates. Adapting a quantum circuit from a, possibly hardware-agnostic, universal quantum gate set to the quantum gate set of a target hardware modality has a crucial impact on the fidelity and duration of the intended quantum computation. However, current quantum circuit adaptation techniques only apply a specific decomposition or allow only for local improvements to the target quantum circuit potentially resulting in a quantum computation with less fidelity or more qubit idle time than necessary. These issues are further aggravated by the multiple options of hardware-native quantum gates rendering multiple universal quantum gates sets accessible to a hardware modality. In this work, we developed a satisfiability modulo theories model that determines an optimized quantum circuit adaptation given a set of allowed substitutions and decompositions, a target hardware modality and the quantum circuit to be adapted. We further discuss the physics of the semiconducting spins hardware modality, show possible implementations of distinct two-qubit quantum gates, and evaluate the developed model on the semiconducting spins hardware modality. Using the developed quantum circuit adaptation method on a noisy simulator, we show the Hellinger fidelity could be improved by up to 40% and the qubit idle time could be decreased by up to 87% compared to alternative quantum circuit adaptation techniques.


title: GAN-Based Object Removal in High-Resolution Satellite Images

abstract: Satellite images often contain a significant level of sensitive data compared to ground-view images. That is why satellite images are more likely to be intentionally manipulated to hide specific objects and structures. GAN-based approaches have been employed to create forged images with two major problems: (i) adding a new object to the scene to hide a specific object or region may create unrealistic merging with surrounding areas; and (ii) using masks on color feature images has proven to be unsuccessful in GAN-based object removal. In this paper, we tackle the problem of object removal in high-resolution satellite images given a limited number of training data. Furthermore, we take advantage of conditional GANs (CGANs) to collect perhaps the first GAN-based forged satellite image data set. All forged instances were manipulated via CGANs trained by Canny Feature Images for object removal. As part of our experiments, we demonstrate that distinguishing the collected forged images from authentic (original) images is highly challenging for fake image detector models.


title: Tetrions: a discrete approach to the standard model

abstract: I show how the symmetry-breaking of a recently proposed embedding of the standard model of particle physics in $E_8$ can be explained in terms of the representation theory of the binary tetrahedral group. This finite group provides a link between various types of spin and isospin that can be exploited to `explain' the chirality of the weak interaction, and the existence of three generations of fermions. Two apparently small technical differences between the finite group model and the standard model turn out to have profound consequences for the ways in which the weak and strong forces create mass.


title: From partial data to out-of-sample parameter and observation estimation with Diffusion Maps and Geometric Harmonics

abstract: A data-driven framework is presented, that enables the prediction of quantities, either observations or parameters, given sufficient partial data. The framework is illustrated via a computational model of the deposition of Cu in a Chemical Vapor Deposition (CVD) reactor, where the reactor pressure, the deposition temperature and feed mass flow rate are important process parameters that determine the outcome of the process. The sampled observations are high-dimensional vectors containing the outputs of a detailed CFD steady-state model of the process, i.e. the values of velocity, pressure, temperature, and species mass fractions at each point in the discretization. A machine learning workflow is presented, able to predict out-of-sample (a) observations (e.g. mass fraction in the reactor) given process parameters (e.g. inlet temperature); (b) process parameters given observation data; and (c) partial observations (e.g. temperature in the reactor) given other partial observations (e.g. mass fraction in the reactor). The proposed workflow relies on the manifold learning schemes Diffusion Maps and the associated Geometric Harmonics. Diffusion Maps is used for discovering a reduced representation of the available data, and Geometric Harmonics for extending functions defined on the manifold. In our work a special use case of Geometric Harmonics is formulated and implemented, which we call Double Diffusion Maps, to map from the reduced representation back to (partial) observations and process parameters. A comparison of our manifold learning scheme to the traditional Gappy-POD approach is provided: ours can be thought of as a "Gappy DMAP" approach. The presented methodology is easily transferable to application domains beyond reactor engineering.


title: Sharp behavior of Dirichlet--Laplacian eigenvalues for a class of singularly perturbed problems

abstract: We deepen the study of Dirichlet eigenvalues in bounded domains where a thin tube is attached to the boundary. As its section shrinks to a point, the problem is spectrally stable and we quantitatively investigate the rate of convergence of the perturbed eigenvalues. We detect the proper quantity which sharply measures the perturbation's magnitude. It is a sort of torsional rigidity of the tube's section relative to the domain. This allows us to sharply describe the asymptotic behavior of the perturbed spectrum, even when eigenvalues converge to a multiple one. The final asymptotics of eigenbranches depend on the local behavior near the junction of eigenfunctions chosen in a special way. The present techniques also apply when the perturbation of the Dirichlet eigenvalue problem consists in prescribing homogeneous Neumann boundary conditions on a small portion of the boundary of the domain.


title: Two-Server Private Information Retrieval with Optimized Download Rate and Result Verification

abstract: Private Information Retrieval (PIR) schemes allow a client to retrieve any file of interest, while hiding the file identity from the database servers. In contrast to most existing PIR schemes that assume honest-but-curious servers, we study the case of dishonest servers. The latter provide incorrect answers and try to persuade the client to output the wrong result. We introduce several PIR schemes with information-theoretic privacy and result verification for the case of two servers. Security guarantees can be information-theoretical or computational, and the verification keys can be public or private. In this work, our main performance metric is the download rate.


title: Excited states, symmetry breaking, and unphysical solutions in state-specific CASSCF theory

abstract: State-specific electronic structure theory provides a route towards balanced excited-state wave functions by exploiting higher-energy stationary points of the electronic energy. Multiconfigurational wave function approximations can describe both closed- and open-shell excited states and avoid the issues associated with state-averaged approaches. We investigate the existence of higher-energy solutions in complete active space self-consistent field (CASSCF) theory and characterise their topological properties. We demonstrate that state-specific approximations can provide accurate higher-energy excited states in $\mathrm{H}_2$ (6-31G) with more compact active spaces than would be required in a state-averaged formalism. We then elucidate the unphysical stationary points, demonstrating that they arise from redundant orbitals when the active space is too large, or symmetry breaking when the active space is too small. Furthermore, we investigate the conical intersection in $\mathrm{CH}_2$ (6-31G) and the avoided crossing in $\mathrm{LiF}$ (6-31G), revealing the severity of root flipping and demonstrating that state-specific solutions can behave quasi-diabatically or adiabatically. These results elucidate the complexity of the CASSCF energy landscape, highlighting the advantages and challenges of practical state-specific calculations.


title: Convolutional neural networks for valid and efficient causal inference

abstract: Convolutional neural networks (CNN) have been successful in machine learning applications. Their success relies on their ability to consider space invariant local features. We consider the use of CNN to fit nuisance models in semiparametric estimation of the average causal effect of a treatment. In this setting, nuisance models are functions of pre-treatment covariates that need to be controlled for. In an application where we want to estimate the effect of early retirement on a health outcome, we propose to use CNN to control for time-structured covariates. Thus, CNN is used when fitting nuisance models explaining the treatment and the outcome. These fits are then combined into an augmented inverse probability weighting estimator yielding efficient and uniformly valid inference. Theoretically, we contribute by providing rates of convergence for CNN equipped with the rectified linear unit activation function and compare it to an existing result for feedforward neural networks. We also show when those rates guarantee uniformly valid inference. A Monte Carlo study is provided where the performance of the proposed estimator is evaluated and compared with other strategies. Finally, we give results on a study of the effect of early retirement on hospitalization using data covering the whole Swedish population.


title: Women's Perspectives on Harm and Justice after Online Harassment

abstract: Social media platforms aspire to create online experiences where users can participate safely and equitably. However, women around the world experience widespread online harassment, including insults, stalking, aggression, threats, and non-consensual sharing of sexual photos. This article describes women's perceptions of harm associated with online harassment and preferred platform responses to that harm. We conducted a survey in 14 geographic regions around the world (N = 3,993), focusing on regions whose perspectives have been insufficiently elevated in social media governance decisions (e.g. Mongolia, Cameroon). {Results show} that, on average, women perceive greater harm associated with online harassment than men, especially for non-consensual image sharing. Women also prefer most platform responses compared to men, especially removing content and banning users; however, women are less favorable towards payment as a response. Addressing global gender-based violence online requires understanding how women experience online harms and how they wish for it to be addressed. This is especially important given that the people who build and govern technology are not typically those who are most likely to experience online harms.


title: Improving Behavioural Cloning with Positive Unlabeled Learning

abstract: Learning control policies offline from pre-recorded datasets is a promising avenue for solving challenging real-world problems. However, available datasets are typically of mixed quality, with a limited number of the trajectories that we would consider as positive examples; i.e., high-quality demonstrations. Therefore, we propose a novel iterative learning algorithm for identifying expert trajectories in unlabeled mixed-quality robotics datasets given a minimal set of positive examples, surpassing existing algorithms in terms of accuracy. We show that applying behavioral cloning to the resulting filtered dataset outperforms several competitive offline reinforcement learning and imitation learning baselines. We perform experiments on a range of simulated locomotion tasks and on two challenging manipulation tasks on a real robotic system; in these experiments, our method showcases state-of-the-art performance. Our website: \url{https://sites.google.com/view/offline-policy-learning-pubc}.


title: The Parallel Monte Carlo Algorithm Implementation on GPU for the Systems with an Ising Hamiltonian under the Condition of a Constant Charge Density

abstract: This paper is devoted to computational algorithms designed to describe the classical Ising magnet in some specific cases when an additional macroscopic restriction in form of constant charge density exists in the system. We developed and implemented a parallel algorithm for modeling such a systems on GPU with CUDA technology. This work focuses on technical aspects of implementing the algorithm.


title: Post-blowup dynamics for the nonlinear Schr\"odinger equation

abstract: In this work we present a systematic numerical study of the post-blowup dynamics of singular solutions of the 1D focusing critical NLS equation in the framework of a nonlinear damped perturbation. The first part of this study shows that initially the post-blowup is described by the adiabatic approximation, in which the collapsing core approaches an universal profile and the solution width is governed by a system of ODEs (reduced system). After that, a non-adiabatic regime is observed soon after the maximum of the solution, in which our direct numerical simulations show a clear deviation from the dynamics based on the reduced system. Our study suggests that such non-adiabatic regime is caused by the increasing influx of mass into the collapsing core of the solution, which is not considered in the derivation of the reduced system. Also, adiabatic theoretical predictions related to the wave-maximum and wave-dissipation are compared with our numerical simulations. The second part of this work describes the non-adiabatic dynamics. Here, numerical simulations reveal a dominant quasi linear regime, caused by the rapid defocusing process. The collapsing core approaches the universal profile, after removing some oscillations resulting from the interference with the tail. Finally, our numerical study suggests that in the limit of vanishing dissipation, and in a free-space domain, the critical mass is radiated to infinity instantly at the collapse time.


title: Modeling human road crossing decisions as reward maximization with visual perception limitations

abstract: Understanding the interaction between different road users is critical for road safety and automated vehicles (AVs). Existing mathematical models on this topic have been proposed based mostly on either cognitive or machine learning (ML) approaches. However, current cognitive models are incapable of simulating road user trajectories in general scenarios, and ML models lack a focus on the mechanisms generating the behavior and take a high-level perspective which can cause failures to capture important human-like behaviors. Here, we develop a model of human pedestrian crossing decisions based on computational rationality, an approach using deep reinforcement learning (RL) to learn boundedly optimal behavior policies given human constraints, in our case a model of the limited human visual system. We show that the proposed combined cognitive-RL model captures human-like patterns of gap acceptance and crossing initiation time. Interestingly, our model's decisions are sensitive to not only the time gap, but also the speed of the approaching vehicle, something which has been described as a "bias" in human gap acceptance behavior. However, our results suggest that this is instead a rational adaption to human perceptual limitations. Moreover, we demonstrate an approach to accounting for individual differences in computational rationality models, by conditioning the RL policy on the parameters of the human constraints. Our results demonstrate the feasibility of generating more human-like road user behavior by combining RL with cognitive models.


title: Error estimates for a Gaussian rule involving Bessel functions

abstract: This paper deals with the estimation of the quadrature error of a Gaussian formula for weight functions involving fractional powers, exponentials and Bessel functions of the first kind. For this purpose, in this work the averaged and generalized averaged Gaussian rules are employed, together with a tentative a priori approximation of the error. The numerical examples confirm the reliability of these approaches.


title: Special Session: Noisy Intermediate-Scale Quantum (NISQ) Computers -- How They Work, How They Fail, How to Test Them?

abstract: First quantum computers very recently have demonstrated "quantum supremacy" or "quantum advantage": Executing a computation that would have been impossible on a classical machine. Today's quantum computers follow the NISQ paradigm: They exhibit error rates that are much higher than in conventional electronics and have insufficient quantum resources to support powerful error correction protocols. This raises questions which relevant computations are within the reach of NISQ architectures. Several "NISQ-era algorithms" are assumed to match the specifics of such computers; for instance, variational optimisers are based on intertwining relatively short quantum and classical computations, thus maximizing the chances of success. This paper will critically assess the promise and challenge of NISQ computing. What has this field achieved so far, what are we likely to achieve soon, where do we have to be skeptical and wait for the advent of larger-scale fully error-corrected architectures?


title: Implicative models of intuitionistic set theory

abstract: In this paper we will show that using implicative algebras one can produce models of intuitionistic set theory generalizing both realizability and Heyting-valued models. This has as consequence that if one assumes the inaccessible cardinal axiom, then every topos which is obtained from a Set-based tripos as the result of the tripos-to-topos construction hosts a model of intuitionistic set theory.


title: Outcome-directed Reinforcement Learning by Uncertainty & Temporal Distance-Aware Curriculum Goal Generation

abstract: Current reinforcement learning (RL) often suffers when solving a challenging exploration problem where the desired outcomes or high rewards are rarely observed. Even though curriculum RL, a framework that solves complex tasks by proposing a sequence of surrogate tasks, shows reasonable results, most of the previous works still have difficulty in proposing curriculum due to the absence of a mechanism for obtaining calibrated guidance to the desired outcome state without any prior domain knowledge. To alleviate it, we propose an uncertainty & temporal distance-aware curriculum goal generation method for the outcome-directed RL via solving a bipartite matching problem. It could not only provide precisely calibrated guidance of the curriculum to the desired outcome states but also bring much better sample efficiency and geometry-agnostic curriculum goal proposal capability compared to previous curriculum RL methods. We demonstrate that our algorithm significantly outperforms these prior methods in a variety of challenging navigation tasks and robotic manipulation tasks in a quantitative and qualitative way.


title: Graph-Free Learning in Graph-Structured Data: A More Efficient and Accurate Spatiotemporal Learning Perspective

abstract: Spatiotemporal learning, which aims at extracting spatiotemporal correlations from the collected spatiotemporal data, is a research hotspot in recent years. And considering the inherent graph structure of spatiotemporal data, recent works focus on capturing spatial dependencies by utilizing Graph Convolutional Networks (GCNs) to aggregate vertex features with the guidance of adjacency matrices. In this paper, with extensive and deep-going experiments, we comprehensively analyze existing spatiotemporal graph learning models and reveal that extracting adjacency matrices with carefully design strategies, which are viewed as the key of enhancing performance on graph learning, are largely ineffective. Meanwhile, based on these experiments, we also discover that the aggregation itself is more important than the way that how vertices are aggregated. With these preliminary, a novel efficient Graph-Free Spatial (GFS) learning module based on layer normalization for capturing spatial correlations in spatiotemporal graph learning. The proposed GFS module can be easily plugged into existing models for replacing all graph convolution components. Rigorous theoretical proof demonstrates that the time complexity of GFS is significantly better than that of graph convolution operation. Extensive experiments verify the superiority of GFS in both the perspectives of efficiency and learning effect in processing graph-structured data especially extreme large scale graph data.


title: Oscillating Shock Profiles in Relativistic Fluid Dynamics

abstract: This note studies a model for relativistic pure-radiation fluids with viscosity that was recently proposed by Bemfica, Disconzi and Noronha, and shows that there are shock waves whose continuous shock profiles, if existing, are oscillating in any variables. This behavior differs significantly from the situation in classical fluid dynamics, in which canonical state variables are monotone along the shock profile.


title: A numerical scheme for solving an induction heating problem with moving non-magnetic conductor

abstract: This paper investigates an induction heating problem in a multi-component system containing a moving non-magnetic conductor. The electromagnetic process is described by the eddy current model, and the heat transfer process is governed by the convection-diffusion equation. Both processes are coupled by a restrained Joule heat source. A temporal discretization scheme is introduced to solve the corresponding variational system numerically. With the aid of the Reynolds transport theorem, we prove the convergence of the proposed scheme as well as the well-posedness of the variational problem. Some numerical experiments are also performed to assess the performance of the numerical scheme.


title: Side Auth: Synthesizing Virtual Sensors for Authentication

abstract: While the embedded security research community aims to protect systems by reducing analog sensor side channels, our work argues that sensor side channels can be beneficial to defenders. This work introduces the general problem of synthesizing virtual sensors from existing circuits to authenticate physical sensors' measurands. We investigate how to apply this approach and present a preliminary analytical framework and definitions for sensor side channels. To illustrate the general concept, we provide a proof-of-concept case study to synthesize a virtual inertial measurement unit from a camera motion side channel. Our work also provides an example of applying this technique to protect facial recognition against silicon mask spoofing attacks. Finally, we discuss downstream problems of how to ensure that side channels benefit the defender, but not the adversary, during authentication.


title: Emergence of collapsed snaking related dark and bright Kerr dissipative solitons with quartic-quadratic dispersion

abstract: We theoretically investigate the dynamics, bifurcation structure and stability of dark localized states emerging in Kerr cavities in the presence of second- and fourth-order dispersion. These states form through the locking of uniform wave fronts, or domain walls, connecting two coexisting stable uniform states. They undergo a generic bifurcation structure known as collapsed homoclinic snaking. We characterize the robustness of these states by computing their stability and bifurcation structure as a function of the main control parameter of the system. Furthermore, we show that by increasing the dispersion of fourth order, bright localized states can be also stabilized.


title: The zeta function of a recurrence sequence of arbitrary degree

abstract: We consider a Dirichlet series $\sum_{n=1}^{\infty}a_n^{-s}$, where $a_n$ satisfies a linear recurrence of arbitrary degree with integer coefficients. Under suitable hypotheses, we prove that it has a meromorphic continuation to the complex plane, giving explicit formulas for its pole set and residues, as well as for its finite values at negative integers, which are shown to be rational numbers. To illustrate the results, we focus on some concrete examples which have also been studied previously by other authors.


title: Dynamical McDuff-type properties for group actions on von Neumann algebras

abstract: We consider the notion of strong self-absorption for continuous actions of locally compact groups on the hyperfinite II$_1$-factor and characterize when such an action is tensorially absorbed by another given action on any separably acting von Neumann algebra. This extends the well-known McDuff property for von Neumann algebras and is analogous to the core theorems around strongly self-absorbing C$^*$-dynamics. Given a countable discrete group $G$ and an amenable action $G\curvearrowright M$ on any separably acting semi-finite von Neumann algebra, we establish a type of measurable local-to-global principle: If a given strongly self-absorbing $G$-action is suitably absorbed at the level of each fibre in the direct integral decomposition of $M$, then it is tensorially absorbed by the action on $M$. As a direct application of Ocneanu's theorem, we deduce that if $M$ has the McDuff property, then every amenable $G$-action on $M$ has the equivariant McDuff property, regardless whether $M$ is assumed to be injective or not. By employing Tomita-Takesaki theory, we can extend the latter result to the general case where $M$ is not assumed to be semi-finite.


title: A Multi-task Multi-stage Transitional Training Framework for Neural Chat Translation

abstract: Neural chat translation (NCT) aims to translate a cross-lingual chat between speakers of different languages. Existing context-aware NMT models cannot achieve satisfactory performances due to the following inherent problems: 1) limited resources of annotated bilingual dialogues; 2) the neglect of modelling conversational properties; 3) training discrepancy between different stages. To address these issues, in this paper, we propose a multi-task multi-stage transitional (MMT) training framework, where an NCT model is trained using the bilingual chat translation dataset and additional monolingual dialogues. We elaborately design two auxiliary tasks, namely utterance discrimination and speaker discrimination, to introduce the modelling of dialogue coherence and speaker characteristic into the NCT model. The training process consists of three stages: 1) sentence-level pre-training on large-scale parallel corpus; 2) intermediate training with auxiliary tasks using additional monolingual dialogues; 3) context-aware fine-tuning with gradual transition. Particularly, the second stage serves as an intermediate phase that alleviates the training discrepancy between the pre-training and fine-tuning stages. Moreover, to make the stage transition smoother, we train the NCT model using a gradual transition strategy, i.e., gradually transiting from using monolingual to bilingual dialogues. Extensive experiments on two language pairs demonstrate the effectiveness and superiority of our proposed training framework.


title: Cuscuta-Galileon Braneworlds

abstract: We investigate braneworlds modeled by topological solutions that arise from the so-called Cuscuta-Galileon model. We develop a first order framework and illustrate our procedure with the scalar field having the well-known hyperbolic tangent profile. We find conditions that must be imposed to the parameters of the model in order to have solutions connecting minima of the potential, with the brane constrained to interpolate Minkowski and anti de Sitter geometries. We also find solutions where the brane only interpolates anti de Sitter geometry. In both cases, the gravity sector of the brane is stable against small fluctuations of the metric.


title: Manifolds with trivial Chern classes II: Manifolds Isogenous to a Torus Product, coframed Manifolds and a question by Baldassarri

abstract: Motivated by a general question addressed by Mario Baldassarri in 1956, we discuss characterizations of the Pseudo-Abelian Varieties introduced by Roth, and we introduce a first new notion, of Manifolds Isogenous to a k-Torus Product: the latter have the last k Chern classes trivial in rational cohomology and vanishing Chern numbers. We show that in dimension 2 the latter class is the correct substitute for some incorrect assertions by Enriques, Dantoni, Roth and Baldassarri: these are the surfaces with $K_X$ nef and $c_2(X)=0 \in H^4(X, \mathbb{Z})$. We observe in the last section, using a construction by Chad Schoen, that such a simple similar picture does not hold in higher dimension. We discuss then, as a class of solutions to Baldassarri's question, manifolds isogenous to projective (respectively: K\"ahler) manifolds whose tangent bundle or whose cotangent bundle has a trivial subbundle of positive rank. We see that the class of `partially framed' projective manifolds (that is, whose tangent bundle has a trivial subbundle) consists, in the case where $K_X$ is nef, of the Pseudo-Abelian varieties of Roth; while the class of `partially co-framed' projective manifolds is not yet fully understood in spite of the new results that we are able to show here: and we formulate some open questions and conjectures. In the course of the paper we address also the case of more general compact complex Manifolds, introducing the new notions of suspensions over parallelizable Manifolds, of twisted hyperelliptic Manifolds, and we describe the known results under the K\"ahler assumption.


title: Inter-View Depth Consistency Testing in Depth Difference Subspace

abstract: Multiview depth imagery will play a critical role in free-viewpoint television. This technology requires high quality virtual view synthesis to enable viewers to move freely in a dynamic real world scene. Depth imagery at different viewpoints is used to synthesize an arbitrary number of novel views. Usually, depth images at multiple viewpoints are estimated individually by stereo-matching algorithms, and hence, show lack of interview consistency. This inconsistency affects the quality of view synthesis negatively. This paper proposes a method for depth consistency testing in depth difference subspace to enhance the depth representation of a scene across multiple viewpoints. Furthermore, we propose a view synthesis algorithm that uses the obtained consistency information to improve the visual quality of virtual views at arbitrary viewpoints. Our method helps us to find a linear subspace for our depth difference measurements in which we can test the inter-view consistency efficiently. With this, our approach is able to enhance the depth information for real world scenes. In combination with our consistency-adaptive view synthesis, we improve the visual experience of the free-viewpoint user. The experiments show that our approach enhances the objective quality of virtual views by up to 1.4 dB. The advantage for the subjective quality is also demonstrated.


title: D\'etection d'Objets dans les documents num\'eris\'es par r\'eseaux de neurones profonds

abstract: In this thesis, we study multiple tasks related to document layout analysis such as the detection of text lines, the splitting into acts or the detection of the writing support. Thus, we propose two deep neural models following two different approaches. We aim at proposing a model for object detection that considers the difficulties associated with document processing, including the limited amount of training data available. In this respect, we propose a pixel-level detection model and a second object-level detection model. We first propose a detection model with few parameters, fast in prediction, and which can obtain accurate prediction masks from a reduced number of training data. We implemented a strategy of collection and uniformization of many datasets, which are used to train a single line detection model that demonstrates high generalization capabilities to out-of-sample documents. We also propose a Transformer-based detection model. The design of such a model required redefining the task of object detection in document images and to study different approaches. Following this study, we propose an object detection strategy consisting in sequentially predicting the coordinates of the objects enclosing rectangles through a pixel classification. This strategy allows obtaining a fast model with only few parameters. Finally, in an industrial setting, new non-annotated data are often available. Thus, in the case of a model adaptation to this new data, it is expected to provide the system as few new annotated samples as possible. The selection of relevant samples for manual annotation is therefore crucial to enable successful adaptation. For this purpose, we propose confidence estimators from different approaches for object detection. We show that these estimators greatly reduce the amount of annotated data while optimizing the performances.


title: Information-Theoretic Privacy-Preserving Schemes Based On Perfect Privacy

abstract: Consider a pair of random variables $(X,Y)$ distributed according to a given joint distribution $p_{XY}$. A curator wishes to maximally disclose information about $Y$, while limiting the information leakage incurred on $X$. Adopting mutual information to measure both utility and privacy of this information disclosure, the problem is to maximize $I(Y;U)$, subject to $I(X;U)\leq\epsilon$, where $U$ denotes the released random variable and $\epsilon$ is a given privacy threshold. Two settings are considered, where in the first one, the curator has access to $(X,Y)$, and hence, the optimization is over $p_{U|XY}$, while in the second one, the curator can only observe $Y$ and the optimization is over $p_{U|Y}$. In both settings, the utility-privacy trade-off is investigated from theoretical and practical perspective. More specifically, several privacy-preserving schemes are proposed in these settings based on generalizing the notion of statistical independence. Moreover, closed-form solutions are provided in certain scenarios. Finally, convexity arguments are provided for the utility-privacy trade-off as functionals of the joint distribution $p_{XY}$.


title: Time-frequency metrology with two single-photon states: phase space picture and the Hong-Ou-Mandel interferometer

abstract: We use time-frequency continuous variables as the standard framework to describe states of light in the subspace of individual photons occupying distinguishable auxiliary modes. We adapt to this setting the interplay between metrological properties and the phase space picture already extensively studied for quadrature variables. We also discuss in details the Hong-Ou-Mandel interferometer, which was previously shown to saturate precision limits, and provide a general formula for the coincidence probability of a generalized version of this experiment. From the obtained expression, we systematically analyze the optimality of this measurement setting for arbitrary unitary transformations applied to each one of the input photons. As concrete examples, we discuss transformations which can be represented as translations and rotations in time-frequency phase space for some specific states.


title: A comment on the structure of graded modules over graded principal ideal domains in the context of persistent homology

abstract: The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.


title: Mo\^usai: Text-to-Music Generation with Long-Context Latent Diffusion

abstract: Recent years have seen the rapid development of large generative models for text; however, much less research has explored the connection between text and another "language" of communication -- music. Music, much like text, can convey emotions, stories, and ideas, and has its own unique structure and syntax. In our work, we bridge text and music via a text-to-music generation model that is highly efficient, expressive, and can handle long-term structure. Specifically, we develop Mo\^usai, a cascading two-stage latent diffusion model that can generate multiple minutes of high-quality stereo music at 48kHz from textual descriptions. Moreover, our model features high efficiency, which enables real-time inference on a single consumer GPU with a reasonable speed. Through experiments and property analyses, we show our model's competence over a variety of criteria compared with existing music generation models. Lastly, to promote the open-source culture, we provide a collection of open-source libraries with the hope of facilitating future work in the field. We open-source the following: Codes: https://github.com/archinetai/audio-diffusion-pytorch; music samples for this paper: http://bit.ly/44ozWDH; all music samples for all models: https://bit.ly/audio-diffusion.


title: Robust statistical properties of T1 transitions in confluent cell tissues

abstract: Large-scale tissue deformation which is fundamental to tissue development hinges on local cellular rearrangements, such as T1 transitions. In the realm of the multi-phase field model, we analyse the statistical and dynamical properties of T1 transitions in a confluent tissue. We identify an energy profile that is robust to changes in several model parameters. It is characterized by an asymmetric profile with a fast increase in energy before the T1 transition and a sudden drop after the T1 transition, followed by a slow relaxation. The latter being a signature of the fluidity of the cell tissue. We show that T1 transitions are sources of localised large deformation of the cells undergoing the neighbour exchange and induce other T1 transitions in the nearby cells through a chaining of events that propagate local cell deformation to large scale tissue flows.

categories: physics.bio-ph cond-mat.soft physics.comp-ph q-bio.TO


title: Reduction by invariants, stratifications, foliations, fibrations and relative equilibria, a short survey

abstract: In this note we will consider reduction techniques for Hamiltonian systems that are invariant under the action of a compact Lie group $G$ acting by symplectic diffeomorphisms, and the related work on stability of relative equilibria. We will focus on reduction by invariants in which case it is possible to describe a reduced phase space within the orbit space by constructing an orbit map using a Hilbert basis of invariants for the symmetry group $G$. Results considering the stratification, foliation and fibration of the phase space and the orbit space are considered. Finally some remarks are made concerning relative equilibria and bifurcations of periodic solutions. We will combine results from a wide variety of papers. We obtain that for the orbit space the orbit type stratification coincides with the Thom-Boardman stratification and each stratum is foliated with symplectic leaves. Furthermore the orbit space is fibred into reduced phase spaces and each reduced phase space has a orbit type stratification, where each orbit type stratum is a symplectic leaf.


title: Analog Photonics Computing for Information Processing, Inference and Optimisation

abstract: This review presents an overview of the current state-of-the-art in photonics computing, which leverages photons, photons coupled with matter, and optics-related technologies for effective and efficient computational purposes. It covers the history and development of photonics computing and modern analogue computing platforms and architectures, focusing on optimization tasks and neural network implementations. The authors examine special-purpose optimizers, mathematical descriptions of photonics optimizers, and their various interconnections. Disparate applications are discussed, including direct encoding, logistics, finance, phase retrieval, machine learning, neural networks, probabilistic graphical models, and image processing, among many others. The main directions of technological advancement and associated challenges in photonics computing are explored, along with an assessment of its efficiency. Finally, the paper discusses prospects and the field of optical quantum computing, providing insights into the potential applications of this technology.


title: A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees

abstract: General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$ such that $\text{deg}_F(x) \in \pi(v)$ for every $v$ of $G$. When all degree constraints are symmetric $\Delta$-matroids, the problem is solvable in polynomial time. The weighted general factor problem is to find a general factor of the maximum total weight in an edge-weighted graph. In this paper, we present the first strongly polynomial-time algorithm for a type of weighted general factor problems with real-valued edge weights that is provably not reducible to the weighted matching problem by gadget constructions.


title: Electron spin secluded inside a bottom-up assembled standing metal-molecule nanostructure

abstract: Artificial nanostructures, fabricated by placing building blocks such as atoms or molecules in well-defined positions, are a powerful platform in which quantum effects can be studied and exploited on the atomic scale. Here, we report a strategy to significantly reduce the electron-electron coupling between a large planar aromatic molecule and the underlying metallic substrate. To this end, we use the manipulation capabilities of a scanning tunneling microscope (STM) and lift the molecule into a metastable upright geometry on a pedestal of two metal atoms. Measurements at millikelvin temperatures and magnetic fields reveal that the bottom-up assembled standing metal-molecule nanostructure has an $S = \frac{1}{2}$ spin which is screened by the substrate electrons, resulting in a Kondo temperature of only $291 \pm 13$ mK. We extract the Land\'e $g$-factor of the molecule and the exchange coupling $J\rho$ to the substrate by modeling the differential conductance spectra using a third-order perturbation theory in the weak coupling and high-field regimes. Furthermore, we show that the interaction between the STM tip and the molecule can tune the exchange coupling to the substrate, which suggests that the bond between the standing metal-molecule nanostructure and the surface is mechanically soft.


title: Gene Teams are on the Field: Evaluation of Variants in Gene-Networks Using High Dimensional Modelling

abstract: In medical genetics, each genetic variant is evaluated as an independent entity regarding its clinical importance. However, in most complex diseases, variant combinations in specific gene networks, rather than the presence of a particular single variant, predominates. In the case of complex diseases, disease status can be evaluated by considering the success level of a team of specific variants. We propose a high dimensional modelling based method to analyse all the variants in a gene network together. To evaluate our method, we selected two gene networks, mTOR and TGF-Beta. For each pathway, we generated 400 control and 400 patient group samples. mTOR and TGF-? pathways contain 31 and 93 genes of varying sizes, respectively. We produced Chaos Game Representation images for each gene sequence to obtain 2-D binary patterns. These patterns were arranged in succession, and a 3-D tensor structure was achieved for each gene network. Features for each data sample were acquired by exploiting Enhanced Multivariance Products Representation to 3-D data. Features were split as training and testing vectors. Training vectors were employed to train a Support Vector Machines classification model. We achieved more than 96% and 99% classification accuracies for mTOR and TGF-Beta networks, respectively, using a limited amount of training samples.


title: 3D genome reconstruction from partially phased Hi-C data

abstract: The 3-dimensional (3D) structure of the genome is of significant importance for many cellular processes. In this paper, we study the problem of reconstructing the 3D structure of chromosomes from Hi-C data of diploid organisms, which poses additional challenges compared to the better-studied haploid setting. With the help of techniques from algebraic geometry, we prove that a small amount of phased data is sufficient to ensure finite identifiability, both for noiseless and noisy data. In the light of these results, we propose a new 3D reconstruction method based on semidefinite programming, paired with numerical algebraic geometry and local optimization. The performance of this method is tested on several simulated datasets under different noise levels and with different amounts of phased data. We also apply it to a real dataset from mouse X chromosomes, and we are then able to recover previously known structural features.


title: ExplainableFold: Understanding AlphaFold Prediction with Explainable AI

abstract: This paper presents ExplainableFold, an explainable AI framework for protein structure prediction. Despite the success of AI-based methods such as AlphaFold in this field, the underlying reasons for their predictions remain unclear due to the black-box nature of deep learning models. To address this, we propose a counterfactual learning framework inspired by biological principles to generate counterfactual explanations for protein structure prediction, enabling a dry-lab experimentation approach. Our experimental results demonstrate the ability of ExplainableFold to generate high-quality explanations for AlphaFold's predictions, providing near-experimental understanding of the effects of amino acids on 3D protein structure. This framework has the potential to facilitate a deeper understanding of protein structures.


title: Investigation of the $\mathbf{\Sigma^{0}}$ Production Mechanism in p(3.5 GeV)+p Collisions

abstract: The production of $\Sigma^0$ hyperons in proton proton collisions at a beam kinetic energy of 3.5 GeV impinging on a liquid hydrogen target was investigated using data collected with the HADES setup. The total production cross section is found to be $\mathrm{\sigma (pK^{+}\Sigma^{0}) [\mu b] = 17.7 \pm 1.7 (stat) \pm 1.6 (syst)}$. Differential cross section distributions of the exclusive channel $\mathrm{pp \rightarrow pK^{+}\Sigma^{0}}$ were analyzed in the center-of-mass, Gottfried-Jackson and helicity reference frames for the first time at the excess energy of 556 MeV. The data support the interplay between pion and kaon exchange mechanisms and clearly demonstrate the contribution of interfering nucleon resonances decaying to $\mathrm{K^{+}\Sigma^{0}}$. The Bonn-Gatchina partial wave analysis was employed to analyse the data. Due to the limited statistics, it was not possible to obtain an unambiguous determination of the relative contribution of intermediate nucleon resonances to the final state. However nucleon resonances with masses around 1.710 $\mathrm{GeV/c^{2}}$ ($\mathrm{N^{*}(1710)}$) and 1.900 $\mathrm{GeV/c^{2}}$ ($\mathrm{N^{*}(1900)}$ or $\mathrm{\Delta^{*}(1900)}$) are preferred by the fit.


title: CAPoW: Context-Aware AI-Assisted Proof of Work based DDoS Defense

abstract: Critical servers can be secured against distributed denial of service (DDoS) attacks using proof of work (PoW) systems assisted by an Artificial Intelligence (AI) that learns contextual network request patterns. In this work, we introduce CAPoW, a context-aware anti-DDoS framework that injects latency adaptively during communication by utilizing context-aware PoW puzzles. In CAPoW, a security professional can define relevant request context attributes which can be learned by the AI system. These contextual attributes can include information about the user request, such as IP address, time, flow-level information, etc., and are utilized to generate a contextual score for incoming requests that influence the hardness of a PoW puzzle. These puzzles need to be solved by a user before the server begins to process their request. Solving puzzles slow down the volume of incoming adversarial requests. Additionally, the framework compels the adversary to incur a cost per request, hence making it expensive for an adversary to prolong a DDoS attack. We include the theoretical foundations of the CAPoW framework along with a description of its implementation and evaluation.


title: Jet-veto resummation at N$^3$LL$_\text{p}$+NNLO in boson production processes

abstract: Vetoing energetic jet activity is a crucial tool for suppressing backgrounds and enabling new physics searches at the LHC, but the introduction of a veto scale can introduce large logarithms that may need to be resummed. We present an implementation of jet-veto resummation for color-singlet processes at the level of N$^3$LL$_\text{p}$ matched to fixed-order NNLO predictions. Our public code MCFM allows for predictions of a single boson, such as $Z/\gamma^*$, $W^{\pm}$ or $H$, or with a pair of vector bosons, such as $W^+W^-$, $W^{\pm} Z$ or $ZZ$. The implementation relies on recent calculations of the soft and beam functions in the presence of a jet veto over all rapidities, with jets defined using a sequential recombination algorithm with jet radius $R$. However one of the ingredients that is required to reach full N$^3$LL accuracy is only known approximately, hence N$^3$LL$_\text{p}$. We describe in detail our formalism and compare with previous public codes that operate at the level of NNLL. Our higher-order predictions improve significantly upon NNLL calculations by reducing theoretical uncertainties. We demonstrate this by comparing our predictions with ATLAS and CMS results.


title: Formation of polar circumstellar discs in binary star systems

abstract: We investigate the flow of material from highly misaligned and polar circumbinary discs that feed the formation of circumstellar discs around each binary component. With three-dimensional hydrodynamic simulations we consider equal mass binaries with low eccentricity. We also simulate inclined test particles and highly-misaligned circumstellar discs around one binary component for comparison. During Kozai-Lidov (KL) cycles, the circumstellar disc structure is altered through exchanges of disc eccentricity with disc tilt. Highly inclined circumstellar discs and test particles around individual binary components can experience very strong KL oscillations. The continuous accretion of highly misaligned material from the circumbinary disc allows the KL oscillations of circumstellar discs to be long-lived. In this process, the circumbinary material is continuously delivered with a high inclination to the lower inclination circumstellar discs. We find that the simulation resolution is important for modeling the longevity of the KL oscillations. An initially polar circumbinary disc forms nearly polar, circumstellar discs that undergo KL cycles. The gas steams accreting onto the polar circumstellar discs vary in tilt during each binary orbital period, which determines how much material is accreted onto the discs. The long-lived KL cycles in polar circumstellar discs may lead to the formation of polar S-type planets in binary star systems.


title: Construction of some non-associative algebras from Associative Algebras with an endomorphism operator, a differential operator or a left averaging operator

abstract: In this paper, we introduce the concepts of endomorphism operator, left averaging operator, differential operator and Rota-Baxter Operator, and we construct examples of these linear maps on associative algebras with a left identity, a skew-idempotent or an idempotent element. These maps on associative algebra induce a non-associative algebra structure such as Lie algebra, Pre-Lie algebra, Jordan algebra, Flexible Algebra or (left) Leibniz algebra. We consider the construction of non-associative algebras from associative algebras with Linear Operators as the main results of this work. In this paper we give examples of non-associative algebras on subspaces of square matrices M3(R).


title: Phase separation of passive particles in active liquids

abstract: The transport properties of colloidal particles in active liquids have been studied extensively. It has led to a deeper understanding of the interactions between passive and active particles. However, the phase behavior of colloidal particles in active media has received little attention. Here, we present a combined experimental and numerical investigation of passive colloids dispersed in suspensions of active particles. Our study reveals dynamic clustering of colloids in active media due to an interplay of active noise and an attractive effective potential between the colloids. The size-ratio of colloidal particles to the bacteria sets the strength of the interaction. As the relative size of the colloids increases, the effective potential becomes stronger and the average size of the clusters grows. The simulations reveal a macroscopic phase separation of passive colloids at sufficiently large size-ratios. We will present the role of density fluctuations and hydrodynamic interactions in the emergence of effective interactions.


title: Electromagnetic memory in arbitrary curved space-times

abstract: The gravitational memory effect and its electromagnetic (EM) analog are potential probes in the strong gravity regime. In the literature, this effect is derived for static observers at asymptotic infinity. While this is a physically consistent approach, it restricts the space-time geometries for which one can obtain the EM memory effect. To circumvent this, we evaluate the EM memory effect for comoving observers (defined by the 4-velocity $u_{\mu}$) in arbitrary curved space-times. Using the covariant approach, we split Maxwell's equations into two parts -- projected parallel to the 4-velocity $u_{\mu}$ and into the 3-space orthogonal to $u_{\mu}$. Further splitting the equations into $1+1+2$-form, we obtain \emph{master equation} for the EM memory in an arbitrary curved space-time. We provide a geometrical understanding of the contributions to the memory effect. We then obtain EM memory for specific space-time geometries and discuss the salient features.


title: Automatic Modulation Classification with Deep Neural Networks

abstract: Automatic modulation classification is a desired feature in many modern software-defined radios. In recent years, a number of convolutional deep learning architectures have been proposed for automatically classifying the modulation used on observed signal bursts. However, a comprehensive analysis of these differing architectures and importance of each design element has not been carried out. Thus it is unclear what tradeoffs the differing designs of these convolutional neural networks might have. In this research, we investigate numerous architectures for automatic modulation classification and perform a comprehensive ablation study to investigate the impacts of varying hyperparameters and design elements on automatic modulation classification performance. We show that a new state of the art in performance can be achieved using a subset of the studied design elements. In particular, we show that a combination of dilated convolutions, statistics pooling, and squeeze-and-excitation units results in the strongest performing classifier. We further investigate this best performer according to various other criteria, including short signal bursts, common misclassifications, and performance across differing modulation categories and modes.


title: Reinforcement Learning from Diverse Human Preferences

abstract: The complexity of designing reward functions has been a major obstacle to the wide application of deep reinforcement learning (RL) techniques. Describing an agent's desired behaviors and properties can be difficult, even for experts. A new paradigm called reinforcement learning from human preferences (or preference-based RL) has emerged as a promising solution, in which reward functions are learned from human preference labels among behavior trajectories. However, existing methods for preference-based RL are limited by the need for accurate oracle preference labels. This paper addresses this limitation by developing a method for crowd-sourcing preference labels and learning from diverse human preferences. The key idea is to stabilize reward learning through regularization and correction in a latent space. To ensure temporal consistency, a strong constraint is imposed on the reward model that forces its latent space to be close to the prior distribution. Additionally, a confidence-based reward model ensembling method is designed to generate more stable and reliable predictions. The proposed method is tested on a variety of tasks in DMcontrol and Meta-world and has shown consistent and significant improvements over existing preference-based RL algorithms when learning from diverse feedback, paving the way for real-world applications of RL methods.


title: Regularity in the two-phase Bernoulli problem for the $p$-Laplace operator

abstract: We show that any minimizer of the well-known ACF functional (for the $p$-Laplacian) is a viscosity solution. This allows us to establish a uniform flatness decay at the two-phase free boundary points to improve the flatness, that boils down to $C^{1,\eta}$ regularity of the flat part of the free boundary. This result, in turn, is used to prove the Lipschitz regularity of minimizers by a dichotomy argument.


title: 'Good job!' The impact of positive and negative feedback on performance

abstract: We analyze the causal impact of positive and negative feedback on professional performance. We exploit a unique data source in which quasi-random, naturally occurring variations within subjective ratings serve as positive and negative feedback. The analysis shows that receiving positive feedback has a favorable impact on subsequent performance, while negative feedback does not have an effect. These main results are found in two different environments and for distinct cultural backgrounds, experiences, and gender of the feedback recipients. The findings imply that managers should focus on giving positive motivational feedback.


title: Interpreting learning in biological neural networks as zero-order optimization method

abstract: Recently, significant progress has been made regarding the statistical understanding of artificial neural networks (ANNs). ANNs are motivated by the functioning of the brain, but differ in several crucial aspects. In particular, the locality in the updating rule of the connection parameters in biological neural networks (BNNs) makes it biologically implausible that the learning of the brain is based on gradient descent. In this work, we look at the brain as a statistical method for supervised learning. The main contribution is to relate the local updating rule of the connection parameters in BNNs to a zero-order optimization method. It is shown that the expected values of the iterates implement a modification of gradient descent.


title: Reproducibility of health claims in meta-analysis studies of COVID quarantine (stay-at-home) orders

abstract: The coronavirus pandemic (COVID) has been an extraordinary test of modern government scientific procedures that inform and shape policy. Many governments implemented COVID quarantine (stay-at-home) orders on the notion that this nonpharmaceutical intervention would delay and flatten the epidemic peak and largely benefit public health outcomes. The overall research capacity response to COVID since late 2019 has been massive. Given lack of research transparency, only a small fraction of published research has been judged by others to be reproducible before COVID. Independent evaluation of published meta-analysis on a common research question can be used to assess the reproducibility of a claim coming from that field of research. We used a p-value plotting statistical method to independently evaluate reproducibility of specific research claims made in four meta-analysis studies related to benefits/risks of COVID quarantine orders. Outcomes we investigated included: mortality, mental health symptoms, incidence of domestic violence, and suicidal ideation (thoughts of killing yourself). Three of the four meta-analyses that we evaluated (mortality, mental health symptoms, incidence of domestic violence) raise further questions about benefits/risks of this form of intervention. The fourth meta-analysis study (suicidal ideation) is unreliable. Given lack of research transparency and irreproducibility of published research, independent evaluation of meta-analysis studies using p-value plotting is offered as a way to strengthen or refute (falsify) claims made in COVID research.


title: Invariant Meta Learning for Out-of-Distribution Generalization

abstract: Modern deep learning techniques have illustrated their excellent capabilities in many areas, but relies on large training data. Optimization-based meta-learning train a model on a variety tasks, such that it can solve new learning tasks using only a small number of training samples.However, these methods assumes that training and test dataare identically and independently distributed. To overcome such limitation, in this paper, we propose invariant meta learning for out-of-distribution tasks. Specifically, invariant meta learning find invariant optimal meta-initialization,and fast adapt to out-of-distribution tasks with regularization penalty. Extensive experiments demonstrate the effectiveness of our proposed invariant meta learning on out-of-distribution few-shot tasks.


title: Fuzzballs and Random Matrices

abstract: Black holes are believed to have the fast scrambling properties of random matrices. If the fuzzball proposal is to be a viable model for quantum black holes, it should reproduce this expectation. This is considered challenging, because it is natural for the modes on a fuzzball microstate to follow Poisson statistics. In a previous paper, we noted a potential loophole here, thanks to the modes depending not just on the $n$-quantum number, but also on the $J$-quantum numbers of the compact dimensions. For a free scalar field $\phi$, by imposing a Dirichlet boundary condition $\phi=0$ at the stretched horizon, we showed that this $J$-dependence leads to a linear ramp in the Spectral Form Factor (SFF). Despite this, the status of level repulsion remained mysterious. In this letter, motivated by the profile functions of BPS fuzzballs, we consider a generic profile $\phi = \phi_0(\theta)$ instead of $\phi=0$ at the stretched horizon. For various notions of genericity (eg. when the Fourier coefficients of $\phi_0(\theta)$ are suitably Gaussian distributed), we find that the $J$-dependence of the spectrum exhibits striking evidence of level repulsion, along with the linear ramp. We also find that varying the profile leads to natural interpolations between Poisson and Wigner-Dyson(WD)-like spectra. The linear ramp in our previous work can be understood as arising via an extreme version of level repulsion in such a limiting spectrum. We also explain how the stretched horizon/fuzzball is different in these aspects from simply putting a cut-off in flat space or AdS (ie., without a horizon).


title: Aleatoric and Epistemic Discrimination: Fundamental Limits of Fairness Interventions

abstract: Machine learning (ML) models can underperform on certain population groups due to choices made during model development and bias inherent in the data. We categorize sources of discrimination in the ML pipeline into two classes: aleatoric discrimination, which is inherent in the data distribution, and epistemic discrimination, which is due to decisions made during model development. We quantify aleatoric discrimination by determining the performance limits of a model under fairness constraints, assuming perfect knowledge of the data distribution. We demonstrate how to characterize aleatoric discrimination by applying Blackwell's results on comparing statistical experiments. We then quantify epistemic discrimination as the gap between a model's accuracy when fairness constraints are applied and the limit posed by aleatoric discrimination. We apply this approach to benchmark existing fairness interventions and investigate fairness risks in data with missing values. Our results indicate that state-of-the-art fairness interventions are effective at removing epistemic discrimination on standard (overused) tabular datasets. However, when data has missing values, there is still significant room for improvement in handling aleatoric discrimination.


title: A note on Bohr's theorem for Beurling integer systems

abstract: Given a sequence of frequencies $\{\lambda_n\}_{n\geq1}$, a corresponding generalized Dirichlet series is of the form $f(s)=\sum_{n\geq 1}a_ne^{-\lambda_ns}$. We are interested in multiplicatively generated systems, where each number $e^{\lambda_n}$ arises as a finite product of some given numbers $\{q_n\}_{n\geq 1}$, $1 < q_n \to \infty$, referred to as Beurling primes. In the classical case, where $\lambda_n = \log n$, Bohr's theorem holds: if $f$ converges somewhere and has an analytic extension which is bounded in a half-plane $\{\Re s> \theta\}$, then it actually converges uniformly in every half-plane $\{\Re s> \theta+\varepsilon\}$, $\varepsilon>0$. We prove, under very mild conditions, that given a sequence of Beurling primes, a small perturbation yields another sequence of primes such that the corresponding Beurling integers satisfy Bohr's condition, and therefore the theorem. Applying our technique in conjunction with a probabilistic method, we find a system of Beurling primes for which both Bohr's theorem and the Riemann hypothesis are valid. This provides a counterexample to a conjecture of H. Helson concerning outer functions in Hardy spaces of generalized Dirichlet series.


title: Certified Invertibility in Neural Networks via Mixed-Integer Programming

abstract: Neural networks are known to be vulnerable to adversarial attacks, which are small, imperceptible perturbations that can significantly alter the network's output. Conversely, there may exist large, meaningful perturbations that do not affect the network's decision (excessive invariance). In our research, we investigate this latter phenomenon in two contexts: (a) discrete-time dynamical system identification, and (b) the calibration of a neural network's output to that of another network. We examine noninvertibility through the lens of mathematical optimization, where the global solution measures the ``safety" of the network predictions by their distance from the non-invertibility boundary. We formulate mixed-integer programs (MIPs) for ReLU networks and $L_p$ norms ($p=1,2,\infty$) that apply to neural network approximators of dynamical systems. We also discuss how our findings can be useful for invertibility certification in transformations between neural networks, e.g. between different levels of network pruning.


title: Description of the cattle and small ruminants trade network in Senegal and implication for the surveillance of animal diseases

abstract: Livestock mobility, particularly that of small and large ruminants, is one of the main pillars of production and trade in West Africa: livestock is moved around in search of better grazing or sold in markets for domestic consumption and for festival-related activities. These movements cover several thousand kilometers and have the capability of connecting the whole West African region thus facilitating the diffusion of many animal and zoonotic diseases. Several factors shape mobility patterns even in normal years and surveillance systems need to account for such changes. In this paper, we present a procedure based on temporal network theory to identify possible sentinel locations using two indicators: vulnerability (i.e. the probability of being reached by the disease) and time of infection (i.e. the time of first arrival of the disease). Using these indicators in our structural analysis of the changing network enabled us to identify a set of nodes that could be used in an early warning system. As a case study we simulated the introduction of F.A.S.T. (Foot and Mouth Similar Transboundary) diseases in Senegal and used data taken from 2020 Sanitary certificates (LPS, laissez-passer sanitaire) issued by the Senegalese Veterinary Services to reconstruct the national mobility network. Our analysis showed that a static approach can significantly overestimate the speed and the extent of disease propagation, whereas temporal analysis revealed that the reachability and vulnerability of the different administrative departments (used as nodes of the mobility network) change over the course of the year. For this reason, several sets of sentinel nodes were identified in different periods of the year, underlining the role of temporality in shaping patterns of disease diffusion.


title: Dual Diffusion Architecture for Fisheye Image Rectification: Synthetic-to-Real Generalization

abstract: Fisheye image rectification has a long-term unresolved issue with synthetic-to-real generalization. In most previous works, the model trained on the synthetic images obtains unsatisfactory performance on the real-world fisheye image. To this end, we propose a Dual Diffusion Architecture (DDA) for the fisheye rectification with a better generalization ability. The proposed DDA is simultaneously trained with paired synthetic fisheye images and unlabeled real fisheye images. By gradually introducing noises, the synthetic and real fisheye images can eventually develop into a consistent noise distribution, improving the generalization and achieving unlabeled real fisheye correction. The original image serves as the prior guidance in existing DDPMs (Denoising Diffusion Probabilistic Models). However, the non-negligible indeterminate relationship between the prior condition and the target affects the generation performance. Especially in the rectification task, the radial distortion can cause significant artifacts. Therefore, we provide an unsupervised one-pass network that produces a plausible new condition to strengthen guidance. This network can be regarded as an alternate scheme for fast producing reliable results without iterative inference. Compared with the state-of-the-art methods, our approach can reach superior performance in both synthetic and real fisheye image corrections.


title: Soft-parton contributions to heavy-quark production at low transverse momentum

abstract: We consider QCD radiative corrections to the production of a heavy-quark pair in hadronic collisions. We present the computation of the soft-parton contributions at low transverse momentum of the heavy-quark pair up to second order in the QCD coupling $\alpha_s$. These results complete the evaluation at the next-to-next-to-leading order (NNLO) of the transverse-momentum resummation formula for this process. Moreover, they give all the ingredients that are needed for the NNLO implementation of the qT subtraction formalism for heavy-quark production. We discuss the details of the computation and we provide a code that can be used to obtain the relevant results in numerical form.


title: Accelerating Domain-aware Deep Learning Models with Distributed Training

abstract: Recent advances in data-generating techniques led to an explosive growth of geo-spatiotemporal data. In domains such as hydrology, ecology, and transportation, interpreting the complex underlying patterns of spatiotemporal interactions with the help of deep learning techniques hence becomes the need of the hour. However, applying deep learning techniques without domain-specific knowledge tends to provide sub-optimal prediction performance. Secondly, training such models on large-scale data requires extensive computational resources. To eliminate these challenges, we present a novel distributed domain-aware spatiotemporal network that utilizes domain-specific knowledge with improved model performance. Our network consists of a pixel-contribution block, a distributed multiheaded multichannel convolutional (CNN) spatial block, and a recurrent temporal block. We choose flood prediction in hydrology as a use case to test our proposed method. From our analysis, the network effectively predicts high peaks in discharge measurements at watershed outlets with up to 4.1x speedup and increased prediction performance of up to 93\%. Our approach achieved a 12.6x overall speedup and increased the mean prediction performance by 16\%. We perform extensive experiments on a dataset of 23 watersheds in a northern state of the U.S. and present our findings.


title: Higgs Inflation: constraining the top quark mass and breaking the $H_0$-$\sigma_8$ correlation

abstract: Extending previous results [JHEP 11 (2021) 091], we explore aspects of the reheating mechanism for non-minimal Higgs inflation in the strong coupling regime. We constrain the radiative corrections for the inflaton's potential by considering the Coleman-Weinberg approximation and use the Renormalization Group Equations for the Higgs field to derive an upper limit on the quark top mass, $m_t$. Using the current Cosmic Microwave Background, Baryon Acoustic Oscillation, and Supernova data, we obtain $m_t \leq 170.44$ GeV, confirming the observational compatibility of the model with recent $m_t$ estimates reported by the CMS collaboration. We also analyze the breakdown of the well-known correlation involving the Hubble constant $H_0$ and the clustering parameter $\sigma_8$, which makes the model interesting in light of the cosmological tensions discussed over the last decade.


title: A radiation and propagation problem for a Helmholtz equation with a compactly supported nonlinearity

abstract: The present work describes some extensions of an approach, originally developed by V.V. Yatsyk and the author, for the theoretical and numerical analysis of scattering and radiation effects on infinite plates with cubically polarized layers. The new aspects lie on the transition to more generally shaped, two- or three-dimensional objects, which no longer necessarily have to be represented in terms a Cartesian product of real intervals, to more general nonlinearities (including saturation) and the possibility of an efficient numerical approximation of the electromagnetic fields and derived quantities (such as energy, transmission coefficient, etc.). The paper advocates an approach that consists in transforming the original full-space problem for a nonlinear Helmholtz equation (as the simplest model) into an equivalent boundary-value problem on a bounded domain by means of a nonlocal Dirichlet-to-Neumann (DtN) operator. It is shown that the transformed problem is equivalent to the original one and can be solved uniquely under suitable conditions. Morever, the impact of the truncation of the DtN operator on the resulting solution is investigated, so that the way to the numerical solution by appropriate finite element methods is available.


title: Leveraging the Third Dimension in Contrastive Learning

abstract: Self-Supervised Learning (SSL) methods operate on unlabeled data to learn robust representations useful for downstream tasks. Most SSL methods rely on augmentations obtained by transforming the 2D image pixel map. These augmentations ignore the fact that biological vision takes place in an immersive three-dimensional, temporally contiguous environment, and that low-level biological vision relies heavily on depth cues. Using a signal provided by a pretrained state-of-the-art monocular RGB-to-depth model (the \emph{Depth Prediction Transformer}, Ranftl et al., 2021), we explore two distinct approaches to incorporating depth signals into the SSL framework. First, we evaluate contrastive learning using an RGB+depth input representation. Second, we use the depth signal to generate novel views from slightly different camera positions, thereby producing a 3D augmentation for contrastive learning. We evaluate these two approaches on three different SSL methods -- BYOL, SimSiam, and SwAV -- using ImageNette (10 class subset of ImageNet), ImageNet-100 and ImageNet-1k datasets. We find that both approaches to incorporating depth signals improve the robustness and generalization of the baseline SSL methods, though the first approach (with depth-channel concatenation) is superior. For instance, BYOL with the additional depth channel leads to an increase in downstream classification accuracy from 85.3\% to 88.0\% on ImageNette and 84.1\% to 87.0\% on ImageNet-C.


title: Improving Software Engineering in Biostatistics: Challenges and Opportunities

abstract: Programming is ubiquitous in applied biostatistics; adopting software engineering skills will help biostatisticians do a better job. To explain this, we start by highlighting key challenges for software development and application in biostatistics. Silos between different statistician roles, projects, departments, and organizations lead to the development of duplicate and suboptimal code. Building on top of open-source software requires critical appraisal and risk-based assessment of the used modules. Code that is written needs to be readable to ensure reliable software. The software needs to be easily understandable for the user, as well as developed within testing frameworks to ensure that long term maintenance of the software is feasible. Finally, the reproducibility of research results is hindered by manual analysis workflows and uncontrolled code development. We next describe how the awareness of the importance and application of good software engineering practices and strategies can help address these challenges. The foundation is a better education in basic software engineering skills in schools, universities, and during the work life. Dedicated software engineering teams within academic institutions and companies can be a key factor for the establishment of good software engineering practices and catalyze improvements across research projects. Providing attractive career paths is important for the retainment of talents. Readily available tools can improve the reproducibility of statistical analyses and their use can be exercised in community events. [...]


title: Graph Attention with Hierarchies for Multi-hop Question Answering

abstract: Multi-hop QA (Question Answering) is the task of finding the answer to a question across multiple documents. In recent years, a number of Deep Learning-based approaches have been proposed to tackle this complex task, as well as a few standard benchmarks to assess models Multi-hop QA capabilities. In this paper, we focus on the well-established HotpotQA benchmark dataset, which requires models to perform answer span extraction as well as support sentence prediction. We present two extensions to the SOTA Graph Neural Network (GNN) based model for HotpotQA, Hierarchical Graph Network (HGN): (i) we complete the original hierarchical structure by introducing new edges between the query and context sentence nodes; (ii) in the graph propagation step, we propose a novel extension to Hierarchical Graph Attention Network GATH (Graph ATtention with Hierarchies) that makes use of the graph hierarchy to update the node representations in a sequential fashion. Experiments on HotpotQA demonstrate the efficiency of the proposed modifications and support our assumptions about the effects of model related variables.


title: Schwinger-Dyson equation in the complex plane -- Two simple models --

abstract: Effective mass and energy are investigated using the Schwinger-Dyson equation (SDE) in the complex plane. As simple examples, we solve the SDE for the (1+1)-dimensional model and the strongly coupled quantum electrodynamics (QED). We also study some properties of the effective mass and energy in the complex plane.


title: Thermodynamic features of the 1D dilute Ising model in the external magnetic field

abstract: We consider the effects of the magnetic field on the frustrated phase states of the dilute Ising chain, especially, the behavior of the magnetic entropy change and the isentropic dependence of the temperature on the magnetic field, which are the key parameters of the magnetocaloric effect. The found temperature dependences of entropy demonstrate the nonequivalence of frustrated phases in the antiferromagnetic and ferromagnetic cases. In the antiferromagnetic case, the nonzero magnetic field at certain parameters causes a charge ordering for nonmagnetic impurities at a half-filling, while in the ferromagnetic case, the magnetic field reduces the frustration of the ground state only partially. It is also shown, that impurities radically change the magnetic Gr\"uneisen parameter in comparison with the case of a pure Ising chain.


title: Higher regularity for weak solutions to degenerate parabolic problems

abstract: In this paper, we study the regularity of weak solutions to the following strongly degenerate parabolic equation \begin{equation*} u_t-\div\left(\left(\left|Du\right|-1\right)_+^{p-1}\frac{Du}{\left|Du\right|}\right)=f\qquad\mbox{ in }\Omega_T, \end{equation*} where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$ for $n\geq2$, $p\geq2$ and $\left(\,\cdot\,\right)_{+}$ stands for the positive part. We prove the higher differentiability of a nonlinear function of the spatial gradient of the weak solutions, assuming only that $f\in L^{2}_{\loc}\left(\Omega_T\right)$. This allows us to establish the higher integrability of the spatial gradient under the same minimal requirement on the datum $f$.


title: Call for Papers -- The BabyLM Challenge: Sample-efficient pretraining on a developmentally plausible corpus

abstract: We present the call for papers for the BabyLM Challenge: Sample-efficient pretraining on a developmentally plausible corpus. This shared task is intended for participants with an interest in small scale language modeling, human language acquisition, low-resource NLP, and cognitive modeling. In partnership with CoNLL and CMCL, we provide a platform for approaches to pretraining with a limited-size corpus sourced from data inspired by the input to children. The task has three tracks, two of which restrict the training data to pre-released datasets of 10M and 100M words and are dedicated to explorations of approaches such as architectural variations, self-supervised objectives, or curriculum learning. The final track only restricts the amount of text used, allowing innovation in the choice of the data, its domain, and even its modality (i.e., data from sources other than text is welcome). We will release a shared evaluation pipeline which scores models on a variety of benchmarks and tasks, including targeted syntactic evaluations and natural language understanding.


title: From Classification Accuracy to Proper Scoring Rules: Elicitability of Probabilistic Top List Predictions

abstract: In the face of uncertainty, the need for probabilistic assessments has long been recognized in the literature on forecasting. In classification, however, comparative evaluation of classifiers often focuses on predictions specifying a single class through the use of simple accuracy measures, which disregard any probabilistic uncertainty quantification. I propose probabilistic top lists as a novel type of prediction in classification, which bridges the gap between single-class predictions and predictive distributions. The probabilistic top list functional is elicitable through the use of strictly consistent evaluation metrics. The proposed evaluation metrics are based on symmetric proper scoring rules and admit comparison of various types of predictions ranging from single-class point predictions to fully specified predictive distributions. The Brier score yields a metric that is particularly well suited for this kind of comparison.


title: MedSegDiff-V2: Diffusion based Medical Image Segmentation with Transformer

abstract: The Diffusion Probabilistic Model (DPM) has recently gained popularity in the field of computer vision, thanks to its image generation applications, such as Imagen, Latent Diffusion Models, and Stable Diffusion, which have demonstrated impressive capabilities and sparked much discussion within the community. Recent investigations have further unveiled the utility of DPM in the domain of medical image analysis, as underscored by the commendable performance exhibited by the medical image segmentation model across various tasks. Although these models were originally underpinned by a UNet architecture, there exists a potential avenue for enhancing their performance through the integration of vision transformer mechanisms. However, we discovered that simply combining these two models resulted in subpar performance. To effectively integrate these two cutting-edge techniques for the Medical image segmentation, we propose a novel Transformer-based Diffusion framework, called MedSegDiff-V2. We verify its effectiveness on 20 medical image segmentation tasks with different image modalities. Through comprehensive evaluation, our approach demonstrates superiority over prior state-of-the-art (SOTA) methodologies. Code is released at https://github.com/KidsWithTokens/MedSegDiff


title: Factors influencing to use of Bluezone

abstract: This study aims to understand the main factors and their influence on the behavioral intention of users about using Bluezone. Surveys are sent to users through the Google Form tool. Experimental results through analysis of exploratory factors on 224 survey subjects show that there are 4 main factors affecting user behavior. Structural equation modeling indicates that trust, performance expectations, effort expectations, and social influence have a positive impact on behavioral intention of using Bluezone


title: Commuting Toeplitz operators and moment maps on Cartan domains of type III

abstract: Let $D^{III}_n$ and $\mathscr{S}_n$ be the Cartan domains of type III that consist of the symmetric $n \times n$ complex matrices $Z$ that satisfy $Z\overline{Z} < I_n$ and $\mathrm{Im}(Z) > 0$, respectively. For these domains, we study weighted Bergman spaces and Toeplitz operators acting on them. We consider the Abelian groups $\mathbb{T}$, $\mathbb{R}_+$ and $\mathrm{Symm}(n,\mathbb{R})$ (symmetric $n \times n$ real matrices), and their actions on the Cartan domains of type III. We call the corresponding actions Abelian Elliptic, Abelian Hyperbolic and Parabolic. The moment maps of these three actions are computed and functions of them (moment map symbols) are used to construct commutative $C^*$-algebras generated by Toeplitz operators. This leads to a natural generalization of known results for the unit disk. We also compute spectral integral formulas for the Toeplitz operators corresponding to the Abelian Elliptic and Parabolic cases.


abstract: Spherically symmetric solution in 4D Einstein--Gauss--Bonnet gravity coupled to modified logarithmic nonlinear electrodynamics (ModLogNED) is found. This solution at infinity possesses the charged black hole Reissner--Nordstr\"{o}m behavior. We study the black hole thermodynamics, entropy, shadow, energy emission rate and quasinormal modes. It was shown that black holes can possess the phase transitions and at some range of event horizon radii black holes are stable. The entropy has the logarithmic correction to the area law. The shadow radii were calculated for variety of parameters. We found that there is a peak of the black hole energy emission rate. The real and imaginary parts of the quasinormal modes frequencies were calculated. The energy conditions of ModLogNED are investigated.


title: Decentralized Online Bandit Optimization on Directed Graphs with Regret Bounds

abstract: We consider a decentralized multiplayer game, played over $T$ rounds, with a leader-follower hierarchy described by a directed acyclic graph. For each round, the graph structure dictates the order of the players and how players observe the actions of one another. By the end of each round, all players receive a joint bandit-reward based on their joint action that is used to update the player strategies towards the goal of minimizing the joint pseudo-regret. We present a learning algorithm inspired by the single-player multi-armed bandit problem and show that it achieves sub-linear joint pseudo-regret in the number of rounds for both adversarial and stochastic bandit rewards. Furthermore, we quantify the cost incurred due to the decentralized nature of our problem compared to the centralized setting.


title: Asymptotics in an Asymptotic CFT

abstract: In this work we illustrate the resurgent structure of the $\lambda$-deformation; a two-dimensional integrable quantum field theory that has an RG flow with an $SU(N)_k$ Wess-Zumino-Witten conformal fixed point in the UV. To do so we use modern matched asymptotic techniques applied to the thermodynamic Bethe ansatz formulation to compute the free energy to 38 perturbative orders in an expansion of large applied chemical potential. We find numerical evidence for factorial asymptotic behaviour with both alternating and non-alternating character which we match to an analytic expression. A curiosity of the system is that it exhibits the Cheshire Cat phenomenon with the leading non-alternating factorial growth vanishing when $k$ divides $N$. The ambiguities associated to Borel resummation of this series are suggestive of non-perturbative contributions. This is verified with an analytic study of the TBA system demonstrating a cancellation between perturbative and non-perturbative ambiguities.


title: TrojanSAINT: Gate-Level Netlist Sampling-Based Inductive Learning for Hardware Trojan Detection

abstract: We propose TrojanSAINT, a graph neural network (GNN)-based hardware Trojan (HT) detection scheme working at the gate level. Unlike prior GNN-based art, TrojanSAINT enables both pre-/post-silicon HT detection. TrojanSAINT leverages a sampling-based GNN framework to detect and also localize HTs. For practical validation, TrojanSAINT achieves on average (oa) 78% true positive rate (TPR) and 85% true negative rate (TNR), respectively, on various TrustHub HT benchmarks. For best-case validation, TrojanSAINT even achieves 98% TPR and 96% TNR oa. TrojanSAINT outperforms related prior works and baseline classifiers. We release our source codes and result artifacts.


title: A game for Baire's grand theorem

abstract: Generalizing a result of Kiss, we provide a game that characterizes Baire class 1 functions between arbitrary separable metrizable spaces. We show that the determinacy of our game is equivalent to a generalization of Baire's grand theorem, and that both these statements hold under AD and in Solovay's model.


title: PCV: A Point Cloud-Based Network Verifier

abstract: 3D vision with real-time LiDAR-based point cloud data became a vital part of autonomous system research, especially perception and prediction modules use for object classification, segmentation, and detection. Despite their success, point cloud-based network models are vulnerable to multiple adversarial attacks, where the certain factor of changes in the validation set causes significant performance drop in well-trained networks. Most of the existing verifiers work perfectly on 2D convolution. Due to complex architecture, dimension of hyper-parameter, and 3D convolution, no verifiers can perform the basic layer-wise verification. It is difficult to conclude the robustness of a 3D vision model without performing the verification. Because there will be always corner cases and adversarial input that can compromise the model's effectiveness. In this project, we describe a point cloud-based network verifier that successfully deals state of the art 3D classifier PointNet verifies the robustness by generating adversarial inputs. We have used extracted properties from the trained PointNet and changed certain factors for perturbation input. We calculate the impact on model accuracy versus property factor and can test PointNet network's robustness against a small collection of perturbing input states resulting from adversarial attacks like the suggested hybrid reverse signed attack. The experimental results reveal that the resilience property of PointNet is affected by our hybrid reverse signed perturbation strategy


title: Dyonic and magnetic black holes with rational nonlinear electrodynamics

abstract: The principles of causality and unitarity are studied within rational nonlinear electrodynamics proposed earlier. We investigate dyonic and magnetized black holes and show that in the self-dual case, when the electric charge equals the magnetic charge, corrections to Coulomb's law and Reissner-Nordstr\"{o}m solutions are absent. In the case of the magnetic black hole, the Hawking temperature, the heat capacity and the Helmholtz free energy are calculated. It is shown that there are second-order phase transitions and it was demonstrated that at some range of parameters the black holes are stable.


title: Minimax Optimal Rate for Parameter Estimation in Multivariate Deviated Models

abstract: We study the maximum likelihood estimation (MLE) in the multivariate deviated model where the data are generated from the density function $(1-\lambda^{\ast})h_{0}(x)+\lambda^{\ast}f(x|\mu^{\ast}, \Sigma^{\ast})$ in which $h_{0}$ is a known function, $\lambda^{\ast} \in [0,1]$ and $(\mu^{\ast}, \Sigma^{\ast})$ are unknown parameters to estimate. The main challenges in deriving the convergence rate of the MLE mainly come from two issues: (1) The interaction between the function $h_{0}$ and the density function $f$; (2) The deviated proportion $\lambda^{\ast}$ can go to the extreme points of $[0,1]$ as the sample size tends to infinity. To address these challenges, we develop the \emph{distinguishability condition} to capture the linear independent relation between the function $h_{0}$ and the density function $f$. We then provide comprehensive convergence rates of the MLE via the vanishing rate of $\lambda^{\ast}$ to zero as well as the distinguishability of two functions $h_{0}$ and $f$.


title: Quantization of Fractional Singular Lagrangian systems with Second-Order Derivatives Using Path Integral Method

abstract: The fractional quantization of singular systems with second order Lagrangian is examined. The fractional singular Lagrangian is presented. The equations of motion are written as total differential equations within fractional calculus. Also, the set of Hamilton Jacobi partial differential equations is constructed in fractional form. The path integral formulation and path integral quantization for these systems are constructed within fractional derivatives. We examined a mathematical singular Lagrangian with two primary first class constraints.


title: BOMP-NAS: Bayesian Optimization Mixed Precision NAS

abstract: Bayesian Optimization Mixed-Precision Neural Architecture Search (BOMP-NAS) is an approach to quantization-aware neural architecture search (QA-NAS) that leverages both Bayesian optimization (BO) and mixed-precision quantization (MP) to efficiently search for compact, high performance deep neural networks. The results show that integrating quantization-aware fine-tuning (QAFT) into the NAS loop is a necessary step to find networks that perform well under low-precision quantization: integrating it allows a model size reduction of nearly 50\% on the CIFAR-10 dataset. BOMP-NAS is able to find neural networks that achieve state of the art performance at much lower design costs. This study shows that BOMP-NAS can find these neural networks at a 6x shorter search time compared to the closest related work.


title: A systematic review of structural equation modeling in augmented reality applications

abstract: The purpose of this study is to present a comprehensive review of the use of structural equation modeling (SEM) in augmented reality (AR) studies in the context of the COVID-19 pandemic. IEEE Xplore Scopus, Wiley Online Library, Emerald Insight, and ScienceDirect are the main five data sources for data collection from Jan 2020 to May 2021. The results showed that a variety of external factors were used to construct the SEM models rather than using the parsimonious ones. The reports showed a fair balance between the direct and indirect methods to contact participants. Despite the COVID-19 pandemic, few publications addressed the issue of data collection and evaluation methods, whereas video demonstrations of the augmented reality (AR) apps were utilized


title: What is a Mathematical Structure of Conscious Experience?

abstract: In consciousness science, several promising approaches have been developed for how to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a 'mathematical structure of conscious experience' is. Here, we propose such a definition. This definition provides a link between the abstract formal entities of mathematics and the concreta of conscious experience; it complements recent approaches that study quality spaces, qualia spaces or phenomenal spaces; it provides a general method to identify and investigate structures of conscious experience; and it may serve as a framework to unify the various approaches from different fields. We hope that ultimately this work provides a basis for developing a common formal language to study consciousness.