Showing 1–27 of 27 results for author: Alexeev, B

The Base Measure Problem and its Solution

Authors: Alexey Radul, Boris Alexeev

Abstract: Probabilistic programming systems generally compute with probability density functions, leaving the base measure of each such function implicit. This mostly works, but creates problems when densities with respect to different base measures are accidentally combined or compared. Mistakes also happen when computing volume corrections for continuous changes of variables, which in general depend on th… ▽ More Probabilistic programming systems generally compute with probability density functions, leaving the base measure of each such function implicit. This mostly works, but creates problems when densities with respect to different base measures are accidentally combined or compared. Mistakes also happen when computing volume corrections for continuous changes of variables, which in general depend on the support measure. We motivate and clarify the problem in the context of a composable library of probability distributions and bijective transformations. We solve the problem by standardizing on Hausdorff measure as a base, and deriving formulas for comparing and combining mixed-dimension densities, as well as updating densities with respect to Hausdorff measure under diffeomorphic transformations. We also propose a software architecture that implements these formulas efficiently in the common case. We hope that by adopting our solution, probabilistic programming systems can become more robust and general, and make a broader class of models accessible to practitioners. △ Less

Submitted 10 December, 2020; v1 submitted 6 October, 2020; originally announced October 2020.

Partisan gerrymandering with geographically compact districts

Authors: Boris Alexeev, Dustin G. Mixon

Abstract: Bizarrely shaped voting districts are frequently lambasted as likely instances of gerrymandering. In order to systematically identify such instances, researchers have devised several tests for so-called geographic compactness (i.e., shape niceness). We demonstrate that under certain conditions, a party can gerrymander a competitive state into geographically compact districts to win an average of o… ▽ More Bizarrely shaped voting districts are frequently lambasted as likely instances of gerrymandering. In order to systematically identify such instances, researchers have devised several tests for so-called geographic compactness (i.e., shape niceness). We demonstrate that under certain conditions, a party can gerrymander a competitive state into geographically compact districts to win an average of over 70% of the districts. Our results suggest that geometric features alone may fail to adequately combat partisan gerrymandering. △ Less

Submitted 14 December, 2017; originally announced December 2017.

Comments: 12 pages, 2 figures

Journal ref: J. Appl. Probab. 55 (2018) 1046-1059

An impossibility theorem for gerrymandering

Authors: Boris Alexeev, Dustin G. Mixon

Abstract: The U.S. Supreme Court is currently deliberating over whether a proposed mathematical formula should be used to detect unconstitutional partisan gerrymandering. We show that in some cases, this formula will only flag bizarrely shaped districts as potentially constitutional. The U.S. Supreme Court is currently deliberating over whether a proposed mathematical formula should be used to detect unconstitutional partisan gerrymandering. We show that in some cases, this formula will only flag bizarrely shaped districts as potentially constitutional. △ Less

Submitted 26 October, 2017; v1 submitted 11 October, 2017; originally announced October 2017.

Comments: 7 pages, 1 figure

Application of Non-local Quantum Hydrodynamics to the Description of the Charged Density Waves in the Graphen Crystal Lattice

Authors: Boris V. Alexeev, Irina V. Ovchinnikova

Abstract: The motion of the charged particles in graphen in the frame of the quantum non-local hydrodynamic description is considered. It is shown as results of the mathematical modeling that the mentioned motion is realizing in the soliton forms. The dependence of the size and structure of solitons on the different physical parameters is investigated. The motion of the charged particles in graphen in the frame of the quantum non-local hydrodynamic description is considered. It is shown as results of the mathematical modeling that the mentioned motion is realizing in the soliton forms. The dependence of the size and structure of solitons on the different physical parameters is investigated. △ Less

Submitted 24 November, 2012; originally announced November 2012.

Comments: 46 pages, 80 figures

Phase retrieval with polarization

Authors: Boris Alexeev, Afonso S. Bandeira, Matthew Fickus, Dustin G. Mixon

Abstract: In many areas of imaging science, it is difficult to measure the phase of linear measurements. As such, one often wishes to reconstruct a signal from intensity measurements, that is, perform phase retrieval. In this paper, we provide a novel measurement design which is inspired by interferometry and exploits certain properties of expander graphs. We also give an efficient phase retrieval procedure… ▽ More In many areas of imaging science, it is difficult to measure the phase of linear measurements. As such, one often wishes to reconstruct a signal from intensity measurements, that is, perform phase retrieval. In this paper, we provide a novel measurement design which is inspired by interferometry and exploits certain properties of expander graphs. We also give an efficient phase retrieval procedure, and use recent results in spectral graph theory to produce a stable performance guarantee which rivals the guarantee for PhaseLift in [Candes et al. 2011]. We use numerical simulations to illustrate the performance of our phase retrieval procedure, and we compare reconstruction error and runtime with a common alternating-projections-type procedure. △ Less

Submitted 11 September, 2013; v1 submitted 29 October, 2012; originally announced October 2012.

To the Non-Local Theory of the High Temperature Superconductivity

Authors: Boris V. Alexeev

Abstract: The possibility of the non local physics application in the theory of superconductivity is investigated. It is shown that by the superconducting conditions the relay ("estafette") motion of the soliton' system ("attice ion - electron") is realizing by the absence of chemical bonds. From the position of the quantum hydrodynamics the problem of creation of the high temperature superconductors leads… ▽ More The possibility of the non local physics application in the theory of superconductivity is investigated. It is shown that by the superconducting conditions the relay ("estafette") motion of the soliton' system ("attice ion - electron") is realizing by the absence of chemical bonds. From the position of the quantum hydrodynamics the problem of creation of the high temperature superconductors leads to finding of materials which lattices could realize the soliton' motion without destruction. These materials should be created using the technology of quantum dots. Key words: Foundations of the theory of transport processes; The theory of solitons; Generalized hydrodynamic equations; Foundations of quantum mechanics; high temperature superconductivity. △ Less

Submitted 30 January, 2012; originally announced March 2012.

Comments: 28 pages, 18 figures. arXiv admin note: text overlap with arXiv:0804.3489

A rearrangement step with potential uses in priority queues

Authors: Boris Alexeev, M. Brian Jacokes

Abstract: Link-based data structures, such as linked lists and binary search trees, have many well-known rearrangement steps allowing for efficient implementations of insertion, deletion, and other operations. We describe a rearrangement primitive designed for link-based, heap-ordered priority queues in the comparison model, such as those similar to Fibonacci heaps or binomial heaps. In its most basic for… ▽ More Link-based data structures, such as linked lists and binary search trees, have many well-known rearrangement steps allowing for efficient implementations of insertion, deletion, and other operations. We describe a rearrangement primitive designed for link-based, heap-ordered priority queues in the comparison model, such as those similar to Fibonacci heaps or binomial heaps. In its most basic form, the primitive rearranges a collection of heap-ordered perfect binary trees. Doing so offers a data structure control on the number of trees involved in such a collection, in particular kee** this number logarithmic in the number of elements. The rearrangement step is free from an amortized complexity standpoint (using an appropriate potential function). △ Less

Submitted 1 March, 2012; originally announced March 2012.

Comments: 3 pages, 1 figure

MSC Class: 68P05 ACM Class: E.1

Full Spark Frames

Authors: Boris Alexeev, Jameson Cahill, Dustin G. Mixon

Abstract: Finite frame theory has a number of real-world applications. In applications like sparse signal processing, data transmission with robustness to erasures, and reconstruction without phase, there is a pressing need for deterministic constructions of frames with the following property: every size-M subcollection of the M-dimensional frame elements is a spanning set. Such frames are called full spark… ▽ More Finite frame theory has a number of real-world applications. In applications like sparse signal processing, data transmission with robustness to erasures, and reconstruction without phase, there is a pressing need for deterministic constructions of frames with the following property: every size-M subcollection of the M-dimensional frame elements is a spanning set. Such frames are called full spark frames, and this paper provides new constructions using the discrete Fourier transform. Later, we prove that full spark Parseval frames are dense in the entire set of Parseval frames, meaning full spark frames are abundant, even if one imposes an additional tightness constraint. Finally, we prove that testing whether a given matrix is full spark is hard for NP under randomized polynomial-time reductions, indicating that deterministic full spark constructions are particularly significant because they guarantee a property which is otherwise difficult to check. △ Less

Submitted 9 April, 2012; v1 submitted 16 October, 2011; originally announced October 2011.

Comments: 26 pages

MSC Class: 42C15; 68Q17

Tensor Rank: Some Lower and Upper Bounds

Authors: Boris Alexeev, Michael Forbes, Jacob Tsimerman

Abstract: The results of Strassen and Raz show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T:[n]^d->F with rank at least 2n^(floor(d/2))+n-Theta(d log n). This matches (over F_2) or improves (all other fields… ▽ More The results of Strassen and Raz show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T:[n]^d->F with rank at least 2n^(floor(d/2))+n-Theta(d log n). This matches (over F_2) or improves (all other fields) known lower bounds for d=3 and improves (over any field) for odd d>3. We also explore a generalization of permutation matrices, which we denote permutation tensors. We show, by counting, that there exists an order-3 permutation tensor with super-linear rank. We also explore a natural class of permutation tensors, which we call group tensors. For any group G, we define the group tensor T_G^d:G^d->F, by T_G^d(g_1,...,g_d)=1 iff g_1 x ... x g_d=1_G. We give two upper bounds for the rank of these tensors. The first uses representation theory and works over large fields F, showing (among other things) that rank_F(T_G^d)<= |G|^(d/2). We also show that if this upper bound is tight, then super-linear tensor rank lower bounds would follow. The second upper bound uses interpolation and only works for abelian G, showing that over any field F that rank_F(T_G^d)<= O(|G|^(1+log d)log^(d-1)|G|). In either case, this shows that many permutation tensors have far from maximal rank, which is very different from the matrix case and thus eliminates many natural candidates for high tensor rank. We also explore monotone tensor rank. We give explicit 0/1 tensors T:[n]^d->F that have tensor rank at most dn but have monotone tensor rank exactly n^(d-1). This is a nearly optimal separation. △ Less

Submitted 31 January, 2011; originally announced February 2011.

Comments: 27 pages

MSC Class: 68Q17 (Primary); 68W30 (Secondary) ACM Class: F.2.1

Journal ref: IEEE Conference on Computational Complexity 26 (2011), 283-291

Problems of antimatter after Big Bang, dark energy and dark matter. Solutions in the frame of non-local physics

Authors: Boris V. Alexeev

Abstract: Quantum solitons are discovered with the help of generalized quantum hydrodynamics. The solitons have the character of the stable quantum objects in the self consistent electric field. The delivered theory demonstrates the great possibilities of the generalized quantum hydrodynamics in investigation of the quantum solitons. The theory leads to solitons as typical formations in the generalized quan… ▽ More Quantum solitons are discovered with the help of generalized quantum hydrodynamics. The solitons have the character of the stable quantum objects in the self consistent electric field. The delivered theory demonstrates the great possibilities of the generalized quantum hydrodynamics in investigation of the quantum solitons. The theory leads to solitons as typical formations in the generalized quantum hydrodynamics. The principle of universal antigravitation is considered from positions of the Newtonian theory of gravitation and non-local kinetic theory. It is found that explanation of Hubble effect in the Universe and peculiar features of the rotational speeds of galaxies need not in introduction of new essence like dark matter and dark energy. Problems of antimatter after Big Bang are considered from positions of non-local physics. The origin of difficulties consists in total Oversimplification following from principles of local physics and reflects the general shortenings of the local kinetic transport theory. Keywords: Foundations of the theory of transport processes; generalized Boltzmann physical kinetics; plasma - gravitational analogy; antigravitation; dark energy; dark matter; the theory of solitons; antimatter after Big Bang. PACS: 67.55.Fa, 67.55.Hc △ Less

Submitted 22 December, 2010; originally announced December 2010.

Comments: 40 pages, 40 figures

Forbidden induced subgraphs of double-split graphs

Authors: Boris Alexeev, Alexandra Fradkin, Ilhee Kim

Abstract: In the course of proving the strong perfect graph theorem, Chudnovsky, Robertson, Seymour, and Thomas showed that every perfect graph either belongs to one of five basic classes or admits one of several decompositions. Four of the basic classes are closed under taking induced subgraphs (and have known forbidden subgraph characterizations), while the fifth one, consisting of double-split graphs, is… ▽ More In the course of proving the strong perfect graph theorem, Chudnovsky, Robertson, Seymour, and Thomas showed that every perfect graph either belongs to one of five basic classes or admits one of several decompositions. Four of the basic classes are closed under taking induced subgraphs (and have known forbidden subgraph characterizations), while the fifth one, consisting of double-split graphs, is not. A graph is doubled if it is an induced subgraph of a double-split graph. We find the forbidden induced subgraph characterization of doubled graphs; it contains 44 graphs. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: 16 pages, 2 figures

MSC Class: 05C75; 05C17

Journal ref: SIAM Journal on Discrete Mathematics 26 (2012), no. 1, 1-14

On minimal colorings without monochromatic solutions to a linear equation

Authors: Boris Alexeev, Jacob Fox, Ron Graham

Abstract: For a ring R and system L of linear homogeneous equations, we call a coloring of the nonzero elements of R minimal for L if there are no monochromatic solutions to L and the coloring uses as few colors as possible. For a rational number q and positive integer n, let E(q,n) denote the equation $\sum_{i=0}^{n-2} q^{i}x_i = q^{n-1}x_{n-1}$. We classify the minimal colorings of the nonzero rational nu… ▽ More For a ring R and system L of linear homogeneous equations, we call a coloring of the nonzero elements of R minimal for L if there are no monochromatic solutions to L and the coloring uses as few colors as possible. For a rational number q and positive integer n, let E(q,n) denote the equation $\sum_{i=0}^{n-2} q^{i}x_i = q^{n-1}x_{n-1}$. We classify the minimal colorings of the nonzero rational numbers for each of the equations E(q,3) with q in {3/2,2,3,4}, for E(2,n) with n in {3,4,5,6}, and for x_1+x_2+x_3=4x_4. These results lead to several open problems and conjectures on minimal colorings. △ Less

Submitted 21 September, 2010; originally announced September 2010.

Comments: 14 pages, 1 very complicated table. This article originally appeared in the journal INTEGERS in 2007. This version differs from that journal version only in formatting. As such, note that the author contact info is outdated and at least one conjecture contained within has been resolved

MSC Class: 05D10; 11B75

Journal ref: Integers, the Electronic Journal of Combinatorial Number Theory 7 (2007), no. 2, 20 pp. Also in a collection: Combinatorial Number Theory, de Gruyter, Berlin, 2007, pp. 1-22

Solution of the Dark Matter Problem in the Frame of the Non-Local Physics

Authors: Boris V. Alexeev

Abstract: The unified generalized non-local quantum kinetic and hydrodynamic theory is applied for mathematical modeling of objects in the giant scale diapason from the galaxy and Universe scale to atom structures. The principle of universal antigravitation is considered from positions of the Newtonian theory of gravitation and non-local kinetic theory. It is found that explanation of Hubble effect in the U… ▽ More The unified generalized non-local quantum kinetic and hydrodynamic theory is applied for mathematical modeling of objects in the giant scale diapason from the galaxy and Universe scale to atom structures. The principle of universal antigravitation is considered from positions of the Newtonian theory of gravitation and non-local kinetic theory. It is found that explanation of Hubble effect in the Universe and peculiar features of the rotational speeds of galaxies need not in introduction of new essence like dark matter and dark energy. The origin of difficulties consists in total Oversimplification following from principles of local physics and reflects the general shortcomings of the local kinetic transport theory. △ Less

Submitted 9 March, 2012; v1 submitted 16 July, 2010; originally announced July 2010.

Comments: 51 pages, 49 figures. arXiv admin note: substantial text overlap with arXiv:1012.5286 and arXiv:0908.2180

On the complexity of Mumford-Shah type regularization, viewed as a relaxed sparsity constraint

Authors: Boris Alexeev, Rachel Ward

Abstract: We show that inverse problems with a truncated quadratic regularization are NP-hard in general to solve, or even approximate up to an additive error. This stands in contrast to the case corresponding to a finite-dimensional approximation to the Mumford-Shah functional, where the operator involved is the identity and for which polynomial-time solutions are known. Consequently, we confirm the infe… ▽ More We show that inverse problems with a truncated quadratic regularization are NP-hard in general to solve, or even approximate up to an additive error. This stands in contrast to the case corresponding to a finite-dimensional approximation to the Mumford-Shah functional, where the operator involved is the identity and for which polynomial-time solutions are known. Consequently, we confirm the infeasibility of any natural extension of the Mumford-Shah functional to general inverse problems. A connection between truncated quadratic minimization and sparsity-constrained minimization is also discussed. △ Less

Submitted 17 January, 2010; originally announced January 2010.

Comments: 6 pages

MSC Class: 68Q17

Journal ref: IEEE Transactions on Image Processing 19 (2010), no. 10, 2787-2789

An analysis of a war-like card game

Authors: Boris Alexeev, Jacob Tsimerman

Abstract: In his book "Mathematical Mind-Benders", Peter Winkler poses the following open problem, originally due to the first author: "[In the game Peer Pressure,] two players are dealt some number of cards, initially face up, each card carrying a different integer. In each round, the players simultaneously play a card; the higher card is discarded and the lower card passed to the other player. The playe… ▽ More In his book "Mathematical Mind-Benders", Peter Winkler poses the following open problem, originally due to the first author: "[In the game Peer Pressure,] two players are dealt some number of cards, initially face up, each card carrying a different integer. In each round, the players simultaneously play a card; the higher card is discarded and the lower card passed to the other player. The player who runs out of cards loses. As the number of cards dealt becomes larger, what is the limiting probability that one of the players will have a winning strategy?" We show that the answer to this question is zero, as Winkler suspected. Moreover, assume the cards are dealt so that one player receives r >= 1 cards for every one card of the other. Then if r < phi = (1+sqrt 5)/2, the limiting probability that either player has a winning strategy is still zero, while if r > phi, it is one. △ Less

Submitted 6 January, 2010; originally announced January 2010.

Comments: 5 pages, 1 figure

MSC Class: 91A05

Antigravitation, Dark Energy, Dark Matter - Alternative Solution

Authors: Boris V. Alexeev

Abstract: Collisional dam** of gravitational waves in the Newtonian matter is investigated. The generalized theory of Landau dam** is applied to the gravitational physical systems in the context of the plasma gravitational analogy. Collisional dam** of gravitational waves in the Newtonian matter is investigated. The generalized theory of Landau dam** is applied to the gravitational physical systems in the context of the plasma gravitational analogy. △ Less

Submitted 4 September, 2009; v1 submitted 15 August, 2009; originally announced August 2009.

Comments: 31 pages, 12 figures, 1 table

Comment on Sound Dispersion in Single-Component System

Authors: Boris V. Alexeev

Abstract: This paper was initiated by publication of Ref. [1] and can be considered as Comments on Ref. [1]. Authors of Ref. [1] investigate analytically the propagation of sound waves in one component monatomic gas (especially for the intermediate Knudses number region) using methods of local kinetic description in area where they are not applied in principal. [1] Napier D.G., Shizgal B.D. Sound Disper… ▽ More This paper was initiated by publication of Ref. [1] and can be considered as Comments on Ref. [1]. Authors of Ref. [1] investigate analytically the propagation of sound waves in one component monatomic gas (especially for the intermediate Knudses number region) using methods of local kinetic description in area where they are not applied in principal. [1] Napier D.G., Shizgal B.D. Sound Dispersion in Single-Component Systems. Physica A 387, 4099--4118 (2008) △ Less

Submitted 30 April, 2009; originally announced April 2009.

Comments: 7 pages

Equations resolving a conjecture of Rado on partition regularity

Authors: Boris Alexeev, Jacob Tsimerman

Abstract: A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive integer k, there exists a linear equation that is (k-1)-regular but not k-regular. We prove this conjecture by showing that the equation… ▽ More A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive integer k, there exists a linear equation that is (k-1)-regular but not k-regular. We prove this conjecture by showing that the equation $\sum_{i=1}^{k-1} \frac{2^i}{2^i-1} x_i = (-1 + \sum_{i=1}^{k-1} \frac{2^i}{2^i-1}) x_0$ has this property. This conjecture is part of problem E14 in Richard K. Guy's book "Unsolved problems in number theory", where it is attributed to Rado's 1933 thesis, "Studien zur Kombinatorik". △ Less

Submitted 25 January, 2009; v1 submitted 8 December, 2008; originally announced December 2008.

Comments: 2 pages, no figures. The replaced version (v2) differs from the original (v1) only in exposition

MSC Class: 05D10

Journal ref: Journal of Combinatorial Theory, Series A 117 (2010), no. 7, 1008-1010

Generalized Theory of Landau Dam**

Authors: Boris V. Alexeev

Abstract: Collisionless dam** of electrical waves in plasma is investigated in the frame of the classical formulation of the problem. The new principle of regularization of the singular integral is used. The exact solution of the corresponding dispersion equation is obtained. The results of calculations lead to existence of discrete spectrum of frequencies and discrete spectrum of dispersion curves. Ana… ▽ More Collisionless dam** of electrical waves in plasma is investigated in the frame of the classical formulation of the problem. The new principle of regularization of the singular integral is used. The exact solution of the corresponding dispersion equation is obtained. The results of calculations lead to existence of discrete spectrum of frequencies and discrete spectrum of dispersion curves. Analytical results are in good coincidence with results of direct mathematical experiments. Key words: Foundations of the theory of transport processes and statistical physics; Boltzmann physical kinetics; dam** of plasma waves, linear theory of wave`s propagation PACS: 67.55.Fa, 67.55.Hc △ Less

Submitted 31 July, 2008; originally announced July 2008.

Comments: 25 pages, 33 figures

Application of Generalized Quantum Hydrodynamics In the Theory of Quantum Soliton's Evolution, Atom Structure and Lightning Ball

Authors: Boris V. Alexeev

Abstract: Quantum solitons are discovered with the help of generalized quantum hydrodynamics (GQH). The solitons have the character of the stable quantum objects in the self consistent electric field. These effects can be considered as explanation of the existence of lightning balls. The delivered theory demonstrates the great possibilities of the generalized quantum hydrodynamics in investigation of the… ▽ More Quantum solitons are discovered with the help of generalized quantum hydrodynamics (GQH). The solitons have the character of the stable quantum objects in the self consistent electric field. These effects can be considered as explanation of the existence of lightning balls. The delivered theory demonstrates the great possibilities of the generalized quantum hydrodynamics in investigation of the quantum solitons. The paper can be considered also as comments and prolongation of the materials published in the known author`s monograph (Boris V. Alexeev, Generalized Boltzmann Physical Kinetics. Elsevier. 2004). The theory leads to solitons as typical formations in the generalized quantum hydrodynamics. Key words: Foundations of the theory of transport processes; The theory of solitons; Generalized hydrodynamic equations; Foundations of quantum mechanics; The theory of lightning balls. PACS: 67.55.Fa, 67.55.Hc △ Less

Submitted 29 July, 2008; originally announced July 2008.

Comments: 22 pages, 32 figures

Mathematical Modeling of Soliton's Evolution in Generalized Quantum Hydrodynamics

Authors: Boris V. Alexeev

Abstract: This paper addresses the fundamental principles of generalized Boltzmann physical kinetics, as a part of non-local physics. It is shown that the theory of transport processes (including quantum mechanics) can be considered in the frame of unified theory based on the non-local physical description. The paper can be considered also as comments and prolongation of the materials published in the kno… ▽ More This paper addresses the fundamental principles of generalized Boltzmann physical kinetics, as a part of non-local physics. It is shown that the theory of transport processes (including quantum mechanics) can be considered in the frame of unified theory based on the non-local physical description. The paper can be considered also as comments and prolongation of the materials published in the known author's monograph (Boris V. Alexeev, Generalized Boltzmann Physical Kinetics. Elsevier. 2004). The theory leads to solitons as typical formations in the generalized quantum hydrodynamics. △ Less

Submitted 24 May, 2008; v1 submitted 22 April, 2008; originally announced April 2008.

Comments: 19 pages, 24 figures

Generalized Quantum Hydrodynamics and Principles of non-Local Physics

Authors: Boris V. Alexeev

Abstract: This paper addresses the fundamental principles of generalized Boltzmann physical kinetics, as a part of non-local physics. It is shown that the theory of transport processes (including quantum mechanics) can be considered in the frame of unified theory based on the non-local physical description. The paper can be considered also as comments and prolongation of the materials published in the kno… ▽ More This paper addresses the fundamental principles of generalized Boltzmann physical kinetics, as a part of non-local physics. It is shown that the theory of transport processes (including quantum mechanics) can be considered in the frame of unified theory based on the non-local physical description. The paper can be considered also as comments and prolongation of the materials published in the known author's monograph (Boris V. Alexeev, Generalized Boltzmann Physical Kinetics. Elsevier. 2004). △ Less

Submitted 31 July, 2008; v1 submitted 1 September, 2007; originally announced September 2007.

Comments: 25 pages, 5 figures

On lengths of rainbow cycles

Authors: Boris Alexeev

Abstract: We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In add… ▽ More We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area. △ Less

Submitted 18 August, 2006; v1 submitted 21 July, 2005; originally announced July 2005.

Comments: 10 pages, 7 figures, 1 table. Replaced version (v2) includes a new result, some computer experimentation, and more. The next version (v3) is only to correct the title of the arXiv listing. The latest version (v4) makes several important changes, additions, and updates

MSC Class: 05C15

Journal ref: Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic)

Minimal DFAs for Testing Divisibility

Authors: Boris Alexeev

Abstract: We present and prove a theorem answering the question "how many states does a minimal deterministic finite automaton (DFA) that recognizes the set of base-b numbers divisible by k have?" We present and prove a theorem answering the question "how many states does a minimal deterministic finite automaton (DFA) that recognizes the set of base-b numbers divisible by k have?" △ Less

Submitted 29 September, 2003; originally announced September 2003.

Comments: LaTeX, 7 pages (corrected typo in new version)

ACM Class: F.1.1; F.4.3

Journal ref: J. Comput. System Sci. 69 (2004), no. 2, 235--243

Badly approximable matrix functions and canonical factorizations

Authors: R. B. Alexeev, V. V. Peller

Abstract: We continue studying the problem of analytic approximation of matrix functions. We introduce the notion of a partial canonical factorization of a badly approximable matrix function $Φ$ and the notion of a canonical factorization of a very badly approximable matrix function $Φ$. Such factorizations are defined in terms of so-called balanced unitary-valued functions which have many remarkable prop… ▽ More We continue studying the problem of analytic approximation of matrix functions. We introduce the notion of a partial canonical factorization of a badly approximable matrix function $Φ$ and the notion of a canonical factorization of a very badly approximable matrix function $Φ$. Such factorizations are defined in terms of so-called balanced unitary-valued functions which have many remarkable properties. Unlike the case of thematic factorizations studied earlier in [PY1], [PY2], [PT], [AP1], the factors in canonical factorizations (as well as partial canonical factorizations) are uniquely determined by the matrix function $Φ$ up to constant unitary factors. We study many properties of canonical factorizations. In particular we show that under certain natural assumptions on a function space $X$ the condition $Φ\in X$ implies that all factors in a canonical factorization of $Φ$ belong to the same space $X$. In the last section we characterize the very badly approximable unitary-valued functions $U$ that satisfy the condition $\|H_U\|_{\text e}<1$. △ Less

Submitted 26 January, 2001; originally announced January 2001.

Comments: 36 pages

MSC Class: 47B35; 46E15; 30D55

Unitary interpolants and factorization indices of matrix functions

Authors: R. B. Alexeev, V. V. Peller

Abstract: For an $n\times n$ bounded matrix function $Φ$ we study unitary interpolants $U$, i.e., unitary-valued functions $U$ such that $\hat U(j)=\hatΦ(j)$, $j<0$. We are looking for unitary interpolants $U$ for which the Toeplitz operator $T_U$ is Fredholm. We give a new approach based on superoptimal singular values and thematic factorizations. We describe Wiener--Hopf factorization indices of $U$ in… ▽ More For an $n\times n$ bounded matrix function $Φ$ we study unitary interpolants $U$, i.e., unitary-valued functions $U$ such that $\hat U(j)=\hatΦ(j)$, $j<0$. We are looking for unitary interpolants $U$ for which the Toeplitz operator $T_U$ is Fredholm. We give a new approach based on superoptimal singular values and thematic factorizations. We describe Wiener--Hopf factorization indices of $U$ in terms of superoptimal singular values of $Φ$ and thematic indices of $Φ-F$, where $F$ is a superoptimal approximation of $Φ$ by bounded analytic matrix functions. The approach essentially relies on the notion of a monotone thematic factorization introduced in [AP]. In the last section we discuss hereditary properties of unitary interpolants. In particular, for matrix functions $Φ$ of class $H^\be+C$ we study unitary interpolants $U$ of class $QC$. △ Less

Submitted 26 January, 2001; originally announced January 2001.

Comments: 20 pages

MSC Class: 47B35; 46E15; 30D55

Invariance properties of thematic factorizations of matrix functions

Authors: R. B. Alexeev, V. V. Peller

Abstract: We study the problem of invariance of indices of thematic factorizations. Such factorizations were introduced in [PY1] for studying superoptimal approximation by bounded analytic matrix functions. As shown in [PY1], the indices may depend on the choice of a thematic factorization. We introduce the notion of a monotone thematic factorization. The main result shows that under natural assumptions a… ▽ More We study the problem of invariance of indices of thematic factorizations. Such factorizations were introduced in [PY1] for studying superoptimal approximation by bounded analytic matrix functions. As shown in [PY1], the indices may depend on the choice of a thematic factorization. We introduce the notion of a monotone thematic factorization. The main result shows that under natural assumptions a matrix function that admits a thematic factorization also admits a monotone thematic factorization and the indices of a monotone thematic factorization are uniquely determined by the matrix function itself. We obtain similar results for so-called partial thematic factorizations. △ Less

Submitted 26 January, 2001; v1 submitted 22 January, 2001; originally announced January 2001.

Comments: 20 pages

MSC Class: 47B35; 46E15; 30D55